@INPROCEEDINGS{Eggensperger2015,
  AUTHOR =       {Katharina Eggensperger and Frank Hutter and Holger H. Hoos and Kevin Leyton-Brown},
  TITLE =        {Efficient Benchmarking of Hyperparameter Optimizers via Surrogates},
  BOOKTITLE =    {Proceedings of the Twenty-Ninth AAAI Conference on Artificial Intelligence (AAAI)},
  YEAR =         {2015},
  MONTH =        jan,
}

@book{Brazdil_metalearning_2008,
 author = {Brazdil, Pavel and Giraud-Carrier, Christophe and Soares, Carlos and Vilalta, Ricardo},
 title = {Metalearning: Applications to Data Mining},
 year = {2008},
 isbn = {3540732624, 9783540732624},
 edition = {1},
 publisher = {Springer Publishing Company, Incorporated},
} 

@Book{SATHandbook,
  editor =	 "A. Biere and M. Heule and H. {van Maaren} and T. Walsh",
  title =	 "Handbook of Satisfiability",
  booktitle =	 "Handbook of Satisfiability",
  publisher =	 "IOS Press",
  year =	 2009,
  volume =	 185,
  series =	 "Frontiers in Artificial Intelligence and Applications"
}

@article{StuckeyFSTF14,
  author    = {Peter J. Stuckey and
                   Thibaut Feydy and
                   Andreas Schutt and
                   Guido Tack and
                   Julien Fischer},
  title     = {The {MiniZinc} Challenge 2008-2013},
  journal   = {AI Magazine},
  volume    = {35},
  number    = {2},
  year      = {2014},
  pages     = {55-60}
}

@Article{ward63,
	author = "J.H. Ward",
	title = "Hierarchical grouping to optimize an objective function",
	journal = "Journal of the American Statistical Association",
	volume = "22",
    number = "2",
    year = "1963",
    pages = "236-244"
}

@article{SmithMiles201412,
title = "Towards objective measures of algorithm performance across instance space",
journal = "Computers \& Operations Research",
volume = "45",
number = "0",
pages = "12-24",
year = "2014",
author = "Smith-Miles, K. A. and Baatar, D. and Wreford, B. J. and Lewis, R"
}

@InProceedings{HutEtAl14:AClib,
  author =	 {Frank Hutter and Manuel L\'{o}pez-Ib\'{a}\~{n}ez and Chris Fawcett and Marius Lindauer and Holger Hoos and Kevin Leyton-Brown and Thomas St\"utzle},
  title =	 {AClib: a Benchmark Library for Algorithm Configuration},
  booktitle = {Proceedings of the International Conference on Learning and Intelligent Optimization},
  year =	 2014,
  pages = {36-40}
}


@inproceedings{Vallati13-SOCS,
  author    = {Mauro Vallati and
               Chris Fawcett and
               Alfonso Gerevini and
               Holger H. Hoos and
               Alessandro Saetti},
  title     = {Automatic Generation of Efficient Domain-Optimized Planners
               from Generic Parametrized Planners},
  booktitle = {International Symposium on Combinatorial Search (SoCS)},
  year      = {2013}
}


@InProceedings{HutHooLey10-mipconfig,
  author =	 {Frank Hutter and Holger H. Hoos and Kevin Leyton-Brown},
  title =	 {Automated configuration of mixed integer programming solvers},
  booktitle = {Integration of {AI} and {OR} Techniques in Constraint Programming for Combinatorial Optimization Problems},
  year =	 2010,
  pages = {186--202},
  lpublisher = springer-lncs,
  lseries = lncs,
  volume = {6140}
}


@InCollection{BirEtAl10,
 author =       {Mauro Birattari and Zhi Yuan and Prasanna Balaprakash and Thomas St\"{u}tzle},
 booktitle =        {Empirical Methods for the Analysis of Optimization Algorithms},
 Chapter =      {{F-race and iterated F-race: {An} overview}},
 pages = {},
 year =         {2010},
   publisher = {Springer}
}

@MISC{Bregman09thesat,
    author = {David R. Bregman},
    title = {The {SAT} Solver MXC, Version 0.99 (2009 {SAT} Competition Version)},
    year = {2009},
    note = {Solver description, {International {SAT} Competition}}
}

@inproceedings{HutBabHooHu07,
    author = {Frank Hutter and Domagoj Babi\'c and Holger H.~Hoos and
        Alan J.~Hu},
    title = {{Boosting Verification by Automatic Tuning of Decision
        Procedures}},
    year = {2007},
    booktitle = {Formal Methods in Computer Aided Design},
    publisher = {IEEE Computer Society},
    pages = {27--34}
}


@MISC{babic2008spear,
  author={Babic, Domagoj and Hutter, Frank},
  title={Spear theorem prover},
  year = {2008},
  note = {Solver description, {International {SAT} Competition}}
}


@InProceedings{ThoHutHooLey13-AutoWEKA,
    author =   {Chris Thornton and Frank Hutter and Holger Hoos and Kevin Leyton-Brown},
    title =  {Auto-{WEKA}: Combined Selection and Hyperparameter Optimization of Classification Algorithms},
    booktitle = {Proceedings of the Nineteenth ACM SIGKDD International Conference on Knowledge Discovery and Data Mining},
    year = 2013,
    pages = {847-855},
    publisher = {ACM},
}


@inproceedings{cphydra,
title = "Using Case-based Reasoning in an Algorithm Portfolio for Constraint Solving",
author = "Eoin O'Mahony and Emmanuel Hebrard and Alan Holland and Conor Nugent and Barry O'Sullivan",
year = "2008",
booktitle = "Proceedings of the Nineteenth Irish Conference on Artificial Intelligence and Cognitive Science" }


@article{wolpert97no,
    author = "David H. Wolpert and William G. Macready",
    title = "No Free Lunch Theorems for Optimization",
    journal = "IEEE Transactions on Evolutionary Computation",
    volume = "1",
    number = "1",
    month = "April",
    pages = "67-82",
    year = "1997"
}

@techreport{spec,
	title = {Algorithm Selection Format Specification},
	author = {B. Bischl and L. Kotthoff and M. Lindauer and Y. Malitsky and A. Frech\'{e}tte and H. Hoos and F. Hutter and P. Kerschke and K. Leyton-Brown and J. Vanschoren},
	year = {2014},
	note = {Available at \url{http://www.aslib.net/}}  
}

@article{holisc14a,
	author= "H. Hoos and M. Lindauer and T. Schaub",
	title = {claspfolio 2: Advances in Algorithm Selection for Answer Set Programming},
	journal = {Theory and Practice of Logic Programming},
	year = {2014},
	pages = {569-585}
}

%%% Joa's bib files

@article{openml2013,
author = {Vanschoren, Joaquin and van Rijn, Jan N. and Bischl, Bernd and Torgo, Luis},
title = {{OpenML}: Networked Science in Machine Learning},
journal = {SIGKDD Explorations},
volume = {15},
number = {2},
year = {2013},
pages = {49--60},
publisher = {ACM}
}

@inproceedings{LeiteBV12,
  author    = {Rui Leite and
               Pavel Brazdil and
               Joaquin Vanschoren},
  title     = {Selecting Classification Algorithms with Active Testing},
  booktitle = {Machine Learning and Data Mining in Pattern Recognition},
  year      = {2012},
  pages     = {117-131},
  publisher={Springer}
}

@article{Serban:2013,
 author = {Serban, Floarea and Vanschoren, Joaquin and Kietz, J\"{o}rg-Uwe and Bernstein, Abraham},
 title = {A Survey of Intelligent Assistants for Data Analysis},
 journal = {ACM Comput. Surv.},
 volume = {45},
 number = {3},
 year = {2013},
 pages = {1-35},
 publisher = {ACM},
} 

@phdthesis{Vanschoren2010,
	title = {Understanding Machine Learning Performance with Experiment Databases},
        school = {University of Leuven},
	author = {J. Vanschoren},
	year = {2010},
}

@inproceedings{openml,
  author    = {Jan N. van Rijn and
               Bernd Bischl and
               Luis Torgo and
               Bo Gao and
               Venkatesh Umaashankar and
               Simon Fischer and
               Patrick Winter and
               Bernd Wiswedel and
               Michael R. Berthold and
               Joaquin Vanschoren},
  title     = {{OpenML}: {A} Collaborative Science Platform},
  booktitle = {Machine Learning and Knowledge Discovery in Databases},
  series    = {Lecture Notes in Computer Science},
  volume    = {8190},
  year      = {2013},
  pages     = {645--649},
  publisher = {Springer}
}

@article{Vanschoren2012,
  author = "Vanschoren, Joaquin and Blockeel, Hendrik and Pfahringer, Bernhard and Holmes, Geoffrey",
  title = "Experiment databases. {A} new way to share, organize and learn from experiments",
  journal = "Machine Learning",
  volume = "87",
  number = "2",
  pages = "127--158",
  year = "2012"
}



@article{Asuncion:2007p519,
	Author = {A Asuncion and DJ Newman},
	Journal = {University of California, School of Information and Computer Science},
	Title = {UCI Machine Learning Repository},
	Year = {2007}}

@article{Pfahringer:2000p553,
	Author = {B Pfahringer and H Bensusan and C Giraud-Carrier},
	Journal = {Proceedings of the Seventeenth International Conference on Machine Learning},
	Month = {Jan},
	Pages = {743--750},
	Title = {Meta-learning by landmarking various learning algorithms},
	Year = {2000}}

@article{Hall:2009p14495,
	Author = {M Hall and E Frank and G Holmes and B Pfahringer and P Reutemann and I.H Witten},
	Journal = {SIGKDD Explorations},
	Number = {1},
	Pages = {10--18},
	Title = {The WEKA Data Mining Software: An Update},
	Volume = {11},
	Year = {2009}}

%%%% Alex's bib files

@book{hoos2004stochastic,
  title={Stochastic local search: Foundations \& applications},
  author={Hoos, Holger H and St{\"u}tzle, Thomas},
  year={2004},
  publisher={Elsevier}
}

@article{prasad2005survey,
title={A survey of recent advances in {SAT}-based formal verification},
  author={Prasad, Mukul R and Biere, Armin and Gupta, Aarti},
  journal={International Journal on Software Tools for Technology Transfer},
  volume={7},
  number={2},
  pages={156--173},
  year={2005},
  publisher={Springer}
}

@inproceedings{crawford1994experiment,
    author = {James M. Crawford and Andrew B. Baker},
    title = {Experimental Results on the Application of Satisfiability Algorithms to Scheduling Problems},
    booktitle = {In Proceedings of the Twelfth National Conference on Artificial Intelligence},
    year = {1994},
    pages = {1092--1097}
}

@inproceedings{kautz1999unifying,
 author = {Kautz, Henry and Selman, Bart},
 title = {Unifying {SAT}-based and Graph-based Planning},
 booktitle = {Proceedings of the Sixteenth International Joint Conference on Artifical Intelligence},
 year = {1999},
 pages = {318--325},
 numpages = {8},
 publisher = {Morgan Kaufmann},
} series = {IJCAI'99},

@article{van2008another,
  title={Another look at graph coloring via propositional satisfiability},
  author={Van Gelder, Allen},
  journal={Discrete Applied Mathematics},
  volume={156},
  number={2},
  pages={230--243},
  year={2008},
  publisher={Elsevier}
}

@article{gomes2008satisfiability,
  title={Satisfiability solvers},
  author={Gomes, Carla P and Kautz, Henry and Sabharwal, Ashish and Selman, Bart},
  journal={Handbook of Knowledge Representation},
  volume={3},
  pages={89--134},
  year={2008},
  publisher={Elsevier}
}

@ARTICLE{DavLogLov62,
    lAUTHOR = {Martin Davis and George Logemann and Donald Loveland},
    AUTHOR = {M. Davis and G. Logemann and D. Loveland},
    TITLE = {A Machine Program for Theorem Proving},
    JOURNAL = {Communications of the ACM},
    YEAR = {1962},
    VOLUME = {5},
    NUMBER = {7},
    PAGES = {394--397},
    MONTH = {},
    NOTE = {},
    KEY = {}
}

@article{purdom2005parsimony,
  title={A parsimony tree for the {SAT2002} competition},
  author={Purdom, Paul W and Le Berre, Daniel and Simon, Laurent},
  journal={Annals of Mathematics and Artificial Intelligence},
  volume={43},
  number={1-4},
  pages={343--365},
  year={2005},
  publisher={Springer}
}

@unpublished{ppfolio,
  lauthor = {O. Roussel},
  author = {Olivier Roussel},
  title = {Description of ppfolio},
  note = {Solver description, {SAT} competition 2011},
  year={2011}
}

@article{xu2012satzilla2012,
  title={Satzilla2012: Improved algorithm selection based on cost-sensitive classification models},
  author={Xu, Lin and Hutter, Frank and Shen, Jonathan and Hoos, Holger H and Leyton-Brown, Kevin},
  journal={Proceedings of {SAT} Challenge 2012: Solver and Benchmark Descriptions},
  pages={57--58},
  year={2012}
}

@InProceedings{HutHooLey11-SMAC,
  author =	 {F. Hutter and H.~H. Hoos and K. Leyton-Brown},
  title =	 {Sequential Model-Based Optimization for General Algorithm Configuration},
  booktitle = {Proceedings of the International Conference on Learning and Intelligent Optimization},
  year =	 {2011},
  pages = {507--523}
}

@article{hutter2014algorithm,
  title={Algorithm runtime prediction: Methods \& evaluation},
  author={Hutter, Frank and Xu, Lin and Hoos, Holger H and Leyton-Brown, Kevin},
  journal={Artificial Intelligence},
  volume={206},
  pages={79--111},
  year={2014},
  publisher={Elsevier}
}

@InProceedings{fawcett2014improved,
  author =	 {Chris Fawcett and Mauro Vallati and Frank Hutter and J{\"o}rg Hoffmann and Holger Hoos and Kevin Leyton-Brown},
  title =	 {Improved Features for Runtime Prediction of Domain-Independent Planners},
  booktitle = {Proceedings of the International Conference on Automated Planning and Scheduling},
  year =	 2014
}

@inproceedings{leyton2003portfolio,
  title={A portfolio approach to algorithm selection},
  author={Leyton-Brown, Kevin and Nudelman, Eugene and Andrew, Galen and McFadden, Jim and Shoham, Yoav},
  booktitle={Proceedings of the Eighteenth International Joint Conference on Artificial Intelligence},
  pages={1542--1543},
  year={2003},
  publisher={Morgan Kaufmann}
}

%%%%% Lars's bib files

@article{rice_algorithm_1976,
    title = {The Algorithm Selection Problem},
    volume = {15},
    journal = {Advances in Computers},
    author = {Rice, John R.},
    year = {1976},
    pages = {65--118}
}

@article{gomes_algorithm_2001,
    title = {Algorithm Portfolios},
    volume = {126},
    number = {1-2},
    journal = {Artificial Intelligence},
    author = {Gomes, Carla P. and Selman, Bart},
    year = {2001},
    pages = {43--62}
}

@article{huberman_economics_1997,
    title = {An Economics Approach to Hard Computational Problems},
    volume = {275},
    number = {5296},
    journal = {Science},
    author = {Huberman, Bernardo A. and Lukose, Rajan M. and Hogg, Tad},
    year = {1997},
    pages = {51--54}
}

@inproceedings{gomes_algorithm_1997,
    title = {Algorithm Portfolio Design: Theory vs. Practice},
    booktitle = {{UAI}},
    author = {Gomes, Carla P. and Selman, Bart},
    year = {1997},
    pages = {190--197}
}

@inproceedings{gomes_practical_1997,
    title = {Practical Aspects of Algorithm Portfolio Design},
    booktitle = {Proceedings of the Third {ILOG} International Users Meeting},
    author = {Gomes, Carla P. and Selman, Bart},
    year = {1997}
}

@inproceedings{lobjois_branch_1998,
    address = {Menlo Park, {CA}, {USA}},
    title = {Branch and Bound Algorithm Selection by Performance Prediction},
    location = {Madison, Wisconsin, United States},
    booktitle = {Proceedings of the Fifteenth National/Tenth Conference on Artificial {Intelligence/Innovative} Applications of Artificial Intelligence},
    publisher = {American Association for Artificial Intelligence},
    author = {Lobjois, Lionel and Lema\^itre, Michel},
    year = {1998},
    pages = {353--358}
}

@inproceedings{allen_selecting_1996,
    title = {Selecting the Right Heuristic Algorithm: Runtime Performance Predictors},
    booktitle = {The Eleventh Biennial Conference of the Canadian Society for Computational Studies of Intelligence},
    publisher = {{Springer}},
    author = {Allen, John A. and Minton, Steven},
    year = {1996},
    pages = {41--53}
}

@inproceedings{borrett_adaptive_1996,
    title = {Adaptive Constraint Satisfaction: The Quickest First Principle},
    booktitle = {{ECAI}},
    author = {Borrett, James E. and Tsang, Edward P. K. and Walsh, Natasha R.},
    year = {1996},
    pages = {160--164}
}

@inproceedings{tsang_attempt_1995,
    title = {An Attempt to Map the Performance of a Range of Algorithm and Heuristic Combinations},
    booktitle = {Proceedings of {AISB'95}},
    publisher = {{IOS} Press},
    author = {Tsang, Edward P. K. and Borrett, James E. and Kwan, Alvin C. M.},
    year = {1995},
    pages = {203--216}
}

@article{weerawarana_pythia_1996,
    title = {{PYTHIA:} A Knowledge-Based System to Select Scientific Algorithms},
    volume = {22},
    number = {4},
    journal = {{ACM} Trans. Math. Softw.},
    author = {Weerawarana, Sanjiva and Houstis, Elias N. and Rice, John R. and Joshi, Anupam and Houstis, Catherine E.},
    year = {1996},
    pages = {447--468}
}

@article{houstis_ellpack_1990,
    title = {{//ELLPACK:} A Numerical Simulation Programming Environment for Parallel {MIMD} Machines},
    volume = {18},
    number = {3b},
    journal = {{SIGARCH} Comput. Archit. News},
    author = {Houstis, Elias N. and Rice, John R. and Chrisochoides, Nikos P. and Karathanasis, Haralambos C. and Papachiou, Panayiotis N. and Samartzis, Meletis K. and Vavalis, Emmanuel A. and Wang, Ko Y. and Weerawarana, Sanjiva},
    month = jun,
    year = {1990},
    pages = {96--107}
}

@article{dyksen_ellipic_1989,
    title = {Ellipic Expert: An Expert System for Elliptic Partial Differential Equations},
    volume = {31},
    number = {4-5},
    journal = {Mathematics and Computers in Simulation},
    author = {Dyksen, Wayne R. and Gritter, Carl R.},
    year = {1989},
    note = {Special Double Issue},
    pages = {333--342}
}

@article{kamel_odexpert_1993,
    title = {{ODEXPERT:} An Expert System to Select Numerical Solvers for Initial Value {ODE} Systems},
    volume = {19},
    number = {1},
    journal = {{ACM} Trans. Math. Softw.},
    author = {Kamel, Mohamed S. and Enright, Wayne H. and Ma, K. S.},
    month = mar,
    year = {1993},
    pages = {44--62}
}

@article{joshi_neuro-fuzzy_1996,
    title = {{Neuro-Fuzzy} Support for {Problem-Solving} Environments: A Step Toward Automated Solution of {PDEs}},
    volume = {3},
    number = {1},
    journal = {{IEEE} Comput. Sci. Eng.},
    author = {Joshi, Anupam and Weerawarana, Sanjiva and Ramakrishnan, Narendran
    and Houstis, Elias N. and Rice, John R.},
    month = mar,
    year = {1996},
    pages = {44--56}
}

@article{carbonell_prodigy_1991,
    title = {{PRODIGY:} An Integrated Architecture for Planning and Learning},
    volume = {2},
    journal = {{SIGART} Bull.},
    author = {Carbonell, Jaime and Etzioni, Oren and Gil, Yolanda and Joseph, Robert and Knoblock, Craig and Minton, Steve and Veloso, Manuela},
    month = jul,
    year = {1991},
    pages = {51--55}
}

@inproceedings{langley_learning_1983,
    title = {Learning Effective Search Heuristics},
    booktitle = {{IJCAI}},
    author = {Langley, Pat},
    year = {1983},
    pages = {419--421}
}

@article{langley_learningd_1983,
    title = {Learning Search Strategies through Discrimination.},
    journal = {International Journal of {Man-Machine} Studies},
    author = {Langley, Pat},
    year = {1983},
    pages = {513--541}
}

@inproceedings{neves_learning_1985,
    address = {San Francisco, {CA}, {USA}},
    title = {Learning procedures from examples and by doing},
    location = {Los Angeles, California},
    booktitle = {Proceedings of the Ninth International Joint Conference on Artificial Intelligence},
    publisher = {Morgan Kaufmann Publishers Inc.},
    author = {Neves, David M.},
    year = {1985},
    pages = {624--630}
}

@inproceedings{minton_integrating_1993,
    title = {Integrating Heuristics for Constraint Satisfaction Problems: A Case Study},
    booktitle = {{AAAI:} Proceedings of the Eleventh National Conference on Artificial Intelligence},
    author = {Minton, Steven},
    year = {1993},
    pages = {120--126}
}

@inproceedings{minton_analytic_1993,
    address = {San Francisco, {CA}, {USA}},
    title = {An Analytic Learning System for Specializing Heuristics},
    location = {Chambery, France},
    booktitle = {{IJCAI'93:} Proceedings of the Thirteenth International Joint Conference on Artifical Intelligence},
    publisher = {Morgan Kaufmann Publishers Inc.},
    author = {Minton, Steven},
    year = {1993},
    pages = {922--928}
}

@article{minton_automatically_1996,
    title = {Automatically Configuring Constraint Satisfaction Programs: A Case Study},
    volume = {1},
    journal = {Constraints},
    author = {Minton, Steven},
    year = {1996},
    pages = {7--43}
}

@inproceedings{smith_knowledge-based_1992,
    title = {Knowledge-Based Constraint-Driven Software Synthesis},
    booktitle = {{Knowledge-Based} Software Engineering Conference},
    author = {Smith, Tobiah E. and Setliff, Dorothy E.},
    month = sep,
    year = {1992},
    pages = {18--27}
}

@inproceedings{xu_satzilla-07_2007,
    title = {{SATzilla-07:} The Design and Analysis of an Algorithm Portfolio for {SAT}},
    booktitle = {CP},
    author = {Xu, Lin and Hutter, Frank and Hoos, Holger H. and {Leyton-Brown}, Kevin},
    year = {2007},
    pages = {712--727}
}

@unpublished{Satzilla03,
	AUTHOR =       {Eugene Nudelman and Kevin Leyton-Brown and Galen Andrew and Carla Gomes and Jim
	McFadden and Bart Selman and Yoav Shoham},
	TITLE =        {{Satzilla} 0.9},
	year = {2003},
}

@article{xu_satzilla_2008,
    title = {{SATzilla:} Portfolio-based Algorithm Selection for {SAT}},
    volume = {32},
    journal = {Journal of Artificial Intelligence Research},
    author = {Xu, Lin and Hutter, Frank and Hoos, Holger H. and {Leyton-Brown}, Kevin},
    year = {2008},
    pages = {565--606}
}

@article{pulina_self-adaptive_2009,
    title = {A self-adaptive multi-engine solver for quantified Boolean formulas},
    volume = {14},
    number = {1},
    journal = {Constraints},
    author = {Pulina, Luca and Tacchella, Armando},
    year = {2009},
    pages = {80--116}
}

@inproceedings{pulina_multi-engine_2007,
    title = {A multi-engine solver for quantified Boolean formulas},
    booktitle = {Proceedings of the Thirteenth International Conference on Principles and Practice of Constraint Programming},
    publisher = {{Springer}},
    series    = {Lecture Notes in Computer Science},
    volume    = {4741},
    author = {Pulina, Luca and Tacchella, Armando},
    year = {2007},
    pages = {574--589}
} series = {{CP'07}},

@inproceedings{epstein_collaborative_2001,
    address = {London, {UK}},
    title = {Collaborative Learning for Constraint Solving},
    booktitle = {Proceedings of the Seventh International Conference on Principles and Practice of Constraint Programming},
    publisher = {{Springer}},
    author = {Epstein, Susan L. and Freuder, Eugene C.},
    year = {2001},
    pages = {46--60}
}

@inproceedings{epstein_adaptive_2002,
    title = {The Adaptive Constraint Engine},
    booktitle = {Principles and Practice of Constraint Programming},
    publisher = {Springer},
    author = {Epstein, Susan L. and Freuder, Eugene C. and Wallace, Richard and Morozov, Anton and Samuels, Bruce},
    year = {2002},
    pages = {525--540}
}

@inproceedings{xu_hydra_2010,
    title = {Hydra: Automatically Configuring Algorithms for {Portfolio-Based} Selection},
booktitle = {Proceedings of the {Twenty-Fourth} AAAI Conference on Artificial Intelligence},
    author = {Xu, Lin and Hoos, Holger H. and {Leyton-Brown}, Kevin},
    year = {2010},
    pages = {210--216},
    publisher = {AAAI Press}
}

@inproceedings{kadioglu_isac_2010,
    title = {{ISAC} – {Instance-Specific Algorithm Configuration}},
    booktitle = {Proceedings of Nineteenth European Conference on Artificial Intelligence},
    publisher = {{IOS} Press},
    author = {Kadioglu, Serdar and Malitsky, Yuri and Sellmann, Meinolf and Tierney, Kevin},
    year = {2010},
    pages = {751--756}
}

@inproceedings{guerri_learning_2004,
  author    = {Alessio Guerri and Michela Milano},
  title     = {Learning Techniques for Automatic Algorithm Portfolio Selection},
  booktitle = {Proceedings of the Sixteenth Eureopean Conference on Artificial Intelligence},
  pages     = {475-479},
  publisher = {IOS Press},
  year      = {2004},
  isbn      = {1-58603-452-9}
}


@article{leyton-brown_empirical_2009,
    title = {Empirical Hardness Models: Methodology and a Case Study on Combinatorial Auctions},
    volume = {56},
    journal = {J. {ACM}},
    author = {{Leyton-Brown}, Kevin and Nudelman, Eugene and Shoham, Yoav},
    month = jul,
    year = {2009},
    pages = {22:1--22:52}
}

@inproceedings{xu_hierarchical_2007,
    title = {Hierarchical Hardness Models for {SAT}},
    booktitle = {Proceedings of the Thirteenth International Conference on Principles and Practice of Constraint Programming},
    author = {Xu, Lin and Hoos, Holger H. and {Leyton-Brown}, Kevin},
    publisher = {Springer},
    series    = {Lecture Notes in Computer Science},
    volume    = {4741},
    year = {2007},
    pages = {696--711}
}

@inproceedings{hutter_performance_2006,
    title = {Performance Prediction and Automated Tuning of Randomized and Parametric Algorithms},
    booktitle = {Proceedings of the Twelfth International Conference on Principles and Practice of Constraint Programming},
    author = {Hutter, Frank and Hamadi, Youssef and Hoos, Holger H. and {Leyton-Brown}, Kevin},
    year = {2006},
    pages = {213--228}
}

@inproceedings{leyton-brown_learning_2002,
    address = {London, {UK}},
    title = {Learning the Empirical Hardness of Optimization Problems: The Case of Combinatorial Auctions},
    booktitle = {Proceedings of the Eighth International Conference on Principles and Practice of Constraint Programming},
    publisher = {{Springer}},
    author = {{Leyton-Brown}, Kevin and Nudelman, Eugene and Shoham, Yoav},
    year = {2002},
    pages = {556--572}
}

@inproceedings{nudelman_understanding_2004,
    series = {Lecture Notes in Computer Science},
    title = {Understanding Random {SAT:} Beyond the {Clauses-to-Variables} Ratio},
    volume = {3258},
    booktitle = {Principles and Practice of Constraint Programming – {CP} 2004},
    publisher = {Springer},
    author = {Nudelman, Eugene and {Leyton-Brown}, Kevin and Hoos, Holger H. and Devkar, Alex and Shoham, Yoav},
    year = {2004},
    pages = {438--452}
}

@inproceedings{beck_simple_2004,
    title = {Simple Rules for Low-Knowledge Algorithm Selection},
    booktitle = {{CPAIOR}},
    publisher = {Springer},
    author = {Beck, J. Christopher and Freuder, Eugene C.},
    year = {2004},
    pages = {50--64}
}

@inproceedings{hough_modern_2006,
    title = {Modern Machine Learning for Automatic Optimization Algorithm Selection},
    booktitle = {Proceedings of the {INFORMS} Artificial Intelligence and Data Mining Workshop},
    author = {Hough, Patricia D. and Williams, Pamela J.},
    month = nov,
    year = {2006},
}

@inproceedings{dietterich_ensemble_2000,
    series = {Lecture Notes In Computer Science},
    title = {Ensemble Methods in Machine Learning},
    volume = {1857},
    booktitle = {Proceedings of the First International Workshop on Multiple Classifier Systems},
    publisher = {{Springer}},
    author = {Dietterich, Thomas G.},
    year = {2000},
    pages = {1--15}
}

@article{demmel_self-adapting_2005,
    title = {{Self-Adapting} Linear Algebra Algorithms and Software},
    volume = {93},
    number = {2},
    journal = {Proceedings of the {IEEE}},
    author = {Demmel, James and Dongarra, Jack and Eijkhout, Victor and Fuentes, Erika and Petitet, Antoine and Vuduc, Richard and Whaley, R. Clint and Yelick, Katherine},
    month = feb,
    year = {2005},
    pages = {293--312}
}

@techreport{bhowmick_application_2006,
    title = {Application of Machine Learning in Selecting Sparse Linear Solvers},
    institution = {Columbia University},
    author = {Bhowmick, Sanjukta and Eijkhout, Victor and Freund, Yoav and Fuentes, Erika and Keyes, David},
    year = {2006}
}

@phdthesis{guo_algorithm_2003,
    title = {Algorithm Selection for Sorting and Probabilistic Inference: A Machine {Learning-Based} Approach},
    school = {Kansas State University},
    author = {Guo, Haipeng},
    year = {2003}
}

@mastersthesis{sillito_improvements_2000,
    title = {Improvements to and Estimating the Cost of Solving Constraint Satisfaction Problems},
    school = {University of Alberta},
    author = {Sillito, Jonathan},
    year = {2000}
}

@inproceedings{horvitz_bayesian_2001,
    address = {San Francisco, {CA}, {USA}},
    title = {A Bayesian Approach to Tackling Hard Computational Problems},
    booktitle = {Proceedings of the Seventeenth Conference in Uncertainty in Artificial Intelligence},
    publisher = {Morgan Kaufmann Publishers Inc.},
    author = {Horvitz, Eric and Ruan, Yongshao and Gomes, Carla P. and Kautz,
    Henry A. and Selman, Bart and Chickering, David M.},
    year = {2001},
    pages = {235--244}
}

@inproceedings{cook_maximizing_1997,
    title = {Maximizing the Benefits of Parallel Search Using Machine Learning},
    booktitle = {Proceedings of the Fourteenth National Conference on Artificial Intelligence},
    publisher = {{AAAI} Press},
    author = {Cook, Diane J. and Varnell, R. Craig},
    year = {1997},
    pages = {559--564}
}

@inproceedings{lagoudakis_learning_2001,
    title = {Learning to Select Branching Rules in the {DPLL} Procedure for Satisfiability},
    booktitle = {{LICS/SAT}},
    author = {Lagoudakis, Michail G. and Littman, Michael L.},
    year = {2001},
    pages = {344--359}
}

@inproceedings{nareyek_choosing_2001,
    title = {Choosing Search Heuristics by {Non-Stationary} Reinforcement Learning},
    booktitle = {Metaheuristics: Computer {Decision-Making}},
    publisher = {Kluwer Academic Publishers},
    author = {Nareyek, Alexander},
    year = {2001},
    pages = {523--544}
}

@inproceedings{vrakas_learning_2003,
    title = {Learning Rules for Adaptive Planning},
    booktitle = {Proceedings of the Thirteenth International Conference on Automated Planning and Scheduling},
    author = {Vrakas, Dimitris and Tsoumakas, Grigorios and Bassiliades, Nick and Vlahavas, Ioannis},
    year = {2003},
    pages = {82--91}
}

@inproceedings{howe_exploiting_1999,
    title = {Exploiting Competitive Planner Performance},
    booktitle = {Proceedings of the Fifth European Conference on Planning},
    publisher = {Springer},
    author = {Howe, Adele E. and Dahlman, Eric and Hansen, Christopher and Scheetz, Michael and von Mayrhauser, Anneliese},
    year = {1999},
    pages = {62--72}
}

@inproceedings{streeter_new_2008,
    title = {New Techniques for Algorithm Portfolio Design},
    booktitle = {{UAI}},
    author = {Streeter, Matthew J. and Smith, Stephen F.},
    year = {2008},
    pages = {519--527}
}

@inproceedings{streeter_restart_2007,
    title = {Restart Schedules for Ensembles of Problem Instances},
    location = {Vancouver, British Columbia, Canada},
    booktitle = {Proceedings of the {Twenty-Second} National Conference on Artificial Intelligence},
    publisher = {{AAAI} Press},
    author = {Streeter, Matthew J. and Golovin, Daniel and Smith, Stephen F.},
    year = {2007},
    pages = {1204--1210}
}

@inproceedings{gebruers_using_2005,
    title = {Using {CBR} to Select Solution Strategies in Constraint Programming},
    booktitle = {Proceedings of {ICCBR-05}},
    author = {Gebruers, Cormac and Hnich, Brahim and Bridge, Derek and Freuder, Eugene},
    year = {2005},
    pages = {222--236}
}

@inproceedings{gebruers_making_2004,
    title = {Making Choices Using Structure at the Instance Level within a Case Based Reasoning Framework},
    booktitle = {{CPAIOR}},
    author = {Gebruers, Cormac and Guerri, Alessio and Hnich, Brahim and Milano, Michela},
    year = {2004},
    pages = {380--386}
}

@inproceedings{little_capturing_2002,
    title = {Capturing Constraint Programming Experience: A {Case-Based} Approach},
    booktitle = {Modref},
    author = {Little, James and Gebruers, Cormac and Bridge, Derek and Freuder, Eugene},
    year = {2002}
}

@inproceedings{wilson_case-based_2000,
    title = {{Case-Based} Recommender Components for Scientific {Problem-Solving} Environments},
    booktitle = {Proceedings of the Sixteenth International Association for Mathematics and Computers in Simulation World Congress},
    author = {Wilson, David and Leake, David and Bramley, Randall},
    year = {2000}
}

@article{borrett_context_2001,
    title = {A Context for Constraint Satisfaction Problem Formulation Selection},
    volume = {6},
    number = {4},
    journal = {Constraints},
    author = {Borrett, James E. and Tsang, Edward P. K.},
    month = oct,
    year = {2001},
    pages = {299--327}
}

@inproceedings{carchrae_low-knowledge_2004,
    title = {{Low-Knowledge} Algorithm Control},
    booktitle = {{AAAI}},
    author = {Carchrae, Tom and Beck, J. Christopher},
    year = {2004},
    pages = {49--54}
}

@article{carchrae_applying_2005,
    title = {Applying Machine Learning to {Low-Knowledge} Control of Optimization Algorithms},
    volume = {21},
    number = {4},
    journal = {Computational Intelligence},
    author = {Carchrae, Tom and Beck, J. Christopher},
    year = {2005},
    pages = {372--387}
}

@phdthesis{watson_empirical_2003,
    address = {Fort Collins, {CO}, {USA}},
    title = {Empirical modeling and analysis of local search algorithms for the job-shop scheduling problem},
    school = {Colorado State University},
    author = {Watson, {Jean-Paul}},
    year = {2003}
}

@article{beck_dynamic_2000,
    title = {Dynamic problem structure analysis as a basis for constraint-directed scheduling heuristics},
    volume = {117},
    number = {1},
    journal = {Artificial Intelligence},
    author = {Beck, J. Christopher and Fox, Mark S.},
    year = {2000},
    pages = {31--81}
}

@article{gagliolo_learning_2006,
    title = {Learning Dynamic Algorithm Portfolios},
    volume = {47},
    number = {3-4},
    journal = {Ann. Math. Artif. Intell.},
    author = {Gagliolo, Matteo and Schmidhuber, J\"urgen},
    year = {2006},
    pages = {295--328}
}

@inproceedings{gagliolo_adaptive_2004,
    title={Adaptive Online Time Allocation to Search Algorithms},
    author={Gagliolo, Matteo and Zhumatiy, Viktor and Schmidhuber, J\"{u}rgen},
    year={2004},
    booktitle={Proceedings of European Conference on Machine Learning},
    volume={3201},
    series={Lecture Notes in Computer Science},
    publisher={Springer},
    pages={134--143}
}

@inproceedings{gagliolo_neural_2005,
    title = {A Neural Network Model for {Inter-Problem} Adaptive Online Time Allocation},
    booktitle = {Fifteenth International Conference on Artificial Neural Networks: Formal Models and Their Applications},
    publisher = {Springer},
    author = {Gagliolo, Matteo and Schmidhuber, J\"urgen},
    year = {2005},
    pages = {7--12}
}

@inproceedings{petrik_statistically_2005,
    title = {Statistically Optimal Combination of Algorithms},
    booktitle = {Local Proceedings of {SOFSEM} 2005},
    author = {Petrik, Marek},
    year = {2005}
}

@article{soares_meta-learning_2004,
    title = {A {Meta-Learning} Method to Select the Kernel Width in Support Vector Regression},
    volume = {54},
    number = {3},
    journal = {Mach. Learn.},
    author = {Soares, Carlos and Brazdil, Pavel B. and Kuba, Petr},
    month = mar,
    year = {2004},
    pages = {195--209}
}

@article{petrik_learning_2006,
    title = {Learning Parallel Portfolios of Algorithms},
    volume = {48},
    number = {1-2},
    journal = {Annals of Mathematics and Artificial Intelligence},
    author = {Petrik, Marek and Zilberstein, Shlomo},
    year = {2006},
    pages = {85--106}
}

@inproceedings{wu_portfolios_2007,
    address = {Washington, {DC}, {USA}},
    title = {On Portfolios for Backtracking Search in the Presence of Deadlines},
    booktitle = {Proceedings of the Nineteenth {IEEE} International Conference on Tools with Artificial Intelligence},
    publisher = {{IEEE} Computer Society},
    author = {Wu, Huayue and van Beek, Peter},
    year = {2007},
    pages = {231--238}
}

@inproceedings{stamatatos_learning_2009,
    title = {Learning How to Propagate Using Random Probing},
    location = {Pittsburgh, {PA}},
    booktitle = {Proceedings of the Sixth International Conference on Integration of {AI} and {OR} Techniques in Constraint Programming for Combinatorial Optimization Problems},
    publisher = {{Springer}},
    author = {Stamatatos, Efstathios and Stergiou, Kostas},
    year = {2009},
    pages = {263--278}
}

@inproceedings{sakkout_instance_1996,
    title = {An Instance of Adaptive Constraint Propagation},
    booktitle = {Proceedings of {CP96}},
    publisher = {Springer Verlag},
    author = {Sakkout, Hani El and Wallace, Mark G. and Richards, E. Barry},
    year = {1996},
    pages = {164--178}
}

@article{stergiou_heuristics_2009,
    title = {Heuristics for Dynamically Adapting Propagation in Constraint Satisfaction Problems},
    volume = {22},
    number = {3},
    journal = {{AI} Communications},
    author = {Stergiou, Kostas},
    year = {2009},
    pages = {125--141}
}

@inproceedings{arbelaez_online_2009,
    title = {Online Heuristic Selection in Constraint Programming},
    booktitle = {International Symposium on Combinatorial Search (SoCS)},
    author = {Arbelaez, Alejandro and Hamadi, Youssef and Sebag, Michele},
    year = {2009}
}

@inproceedings{haim_restart_2009,
    title = {Restart Strategy Selection Using Machine Learning Techniques},
    location = {Swansea, {UK}},
    booktitle = {Proceedings of the Twelfth International Conference on Theory and Applications of Satisfiability Testing},
    publisher = {{Springer}},
    author = {Haim, Shai and Walsh, Toby},
    year = {2009},
    pages = {312--325}
}

@inproceedings{leite_using_2010,
    title = {Using Active Testing and {Meta-Level} Information for Selection of Classification Algorithms},
    booktitle = {Proceedings of the Third {PlanLearn} Workshop},
    author = {Leite, Rui and Brazdil, Pavel and Vanschoren, Joaquin and Queiros, Francisco},
    month = aug,
    year = {2010}
}

@inproceedings{fink_how_1998,
    title = {How to Solve It Automatically: Selection Among {Problem-Solving} Methods},
    booktitle = {Proceedings of the Fourth International Conference on Artificial Intelligence Planning Systems},
    publisher = {{AAAI} Press},
    author = {Fink, Eugene},
    year = {1998},
    pages = {128--136}
}

@techreport{fink_statistical_1997,
    title = {Statistical Selection Among {Problem-Solving} Methods},
    number = {{CMU-CS-97-101}},
    institution = {Carnegie Mellon University},
    author = {Fink, Eugene},
    year = {1997}
}

@article{smith-miles_cross-disciplinary_2009,
    title = {Cross-Disciplinary Perspectives on Meta-Learning for Algorithm Selection},
    volume = {41},
    journal = {{ACM} Computing Surveys},
    author = {{Smith-Miles}, Kate A.},
    month = dec,
    year = {2008},
    pages = {6:1--6:25}
}

@inproceedings{nikoli_instance-based_2009,
    title = {Instance-based Selection of Policies for {SAT} Solvers},
    booktitle = {Proceedings of the Twelfth International Conference on Theory and Applications of Satisfiability Testing},
    publisher = {{Springer}},
    author = {Nikoli\'c, Mladen and Mari\'c, Filip and Jani\v{c}i\'c, Predrag},
    year = {2009},
    pages = {326--340}
} series = {{SAT} '09},

@inproceedings{silverthorn_latent_2010,
   author              = {Bryan Silverthorn and 
                          Risto Miikkulainen},
   title               = {Latent Class Models for Algorithm Portfolio Methods.},
   booktitle           = {Proceedings of the {Twenty-Fourth} AAAI Conference on Artificial Intelligence},
   year                = {2010},
   pages               = {167--172},
   ee                  = {http://www.aaai.org/ocs/index.php/AAAI/AAAI10/paper/view/1781},
}


@inproceedings{cicirello_max_2005,
    title = {The Max K-Armed Bandit: A New Model of Exploration Applied to Search Heuristic Selection},
    location = {Pittsburgh, Pennsylvania},
    booktitle = {Proceedings of the Twentieth National Conference on Artificial Intelligence},
    publisher = {{AAAI} Press},
    author = {Cicirello, Vincent A. and Smith, Stephen F.},
    year = {2005},
    pages = {1355--1361}
} series = {AAAI-05},

@inproceedings{roberts_directing_2006,
    title = {Directing a Portfolio with Learning},
    booktitle = {Proceedings of the {AAAI} 2006 Workshop on Learning for Search},
    author = {Roberts, Mark and Howe, Adele E.},
    year = {2006}
}

@inproceedings{gratch_composer_1992,
    title = {{COMPOSER:} A Probabilistic Solution to the Utility Problem in {Speed-Up} Learning},
    booktitle = {{AAAI}},
    author = {Gratch, Jonathan and {DeJong}, Gerald},
    year = {1992},
    pages = {235--240}
}

@inproceedings{guo_learning-based_2004,
    title = {A {Learning-Based} Algorithm Selection Meta-reasoner for the {Real-Time} {MPE} Problem},
    booktitle = {Australian Conference on Artificial Intelligence},
    author = {Guo, Haipeng and Hsu, William H.},
    year = {2004},
    pages = {307--318}
}

@inproceedings{stern_collaborative_2010,
    title = {Collaborative Expert Portfolio Management},
    booktitle = {{AAAI}},
    author = {Stern, David H. and Samulowitz, Horst and Herbrich, Ralf and Graepel, Thore and Pulina, Luca and Tacchella, Armando},
    year = {2010},
    pages = {179--184}
}

@article{garrido_dvrp_2010,
    title = {{DVRP:} a hard dynamic combinatorial optimisation problem tackled by an evolutionary hyper-heuristic},
    volume = {16},
    journal = {Journal of Heuristics},
    author = {Garrido, Pablo and Riff, Mar\'ia},
    year = {2010},
    pages = {795--834}
}

@inproceedings{streeter_combining_2007,
    title = {Combining Multiple Heuristics Online},
    location = {Vancouver, British Columbia, Canada},
    booktitle = {Proceedings of the {Twenty-Second} National Conference on Artificial Intelligence},
    publisher = {{AAAI} Press},
    author = {Streeter, Matthew J. and Golovin, Daniel and Smith, Stephen F.},
    year = {2007},
    pages = {1197--1203}
}

@inproceedings{brazdil_comparison_2000,
    address = {London, {UK}},
    series = {{ECML} '00},
    title = {A Comparison of Ranking Methods for Classification Algorithm Selection},
    booktitle = {Proceedings of the Eleventh European Conference on Machine Learning},
    publisher = {{Springer}},
    author = {Brazdil, Pavel and Soares, Carlos},
    year = {2000},
    pages = {63--74}
}

@inproceedings{tolpin_rational_2011,
    title = {Rational Deployment of {CSP} Heuristics},
    booktitle = {{IJCAI}},
    author = {Tolpin, David and Shimony, Solomon E.},
    year = {2011},
    pages = {680--686}
}

@inproceedings{domshlak_max_2010,
    title = {To Max or Not to Max: Online Learning for Speeding Up Optimal Planning},
    booktitle = {{AAAI}},
    author = {Domshlak, Carmel and Karpas, Erez and Markovitch, Shaul},
    year = {2010}
}

@inproceedings{vassilevska_confronting_2006,
    address = {New York, {NY}, {USA}},
    series = {{SODA} '06},
    title = {Confronting Hardness Using a Hybrid Approach},
    location = {Miami, Florida},
    booktitle = {Proceedings of the Seventeenth Annual {ACM-SIAM} Symposium on Discrete Algorithms},
    publisher = {{ACM}},
    author = {Vassilevska, Virginia and Williams, Ryan and Woo, Shan L. M.},
    year = {2006},
    pages = {1--10}
}

@inproceedings{samulowitz_learning_2007,
    title = {Learning to Solve {QBF}},
    location = {Vancouver, British Columbia, Canada},
    booktitle = {Proceedings of the {Twenty-Second} National Conference on Artificial Intelligence},
    publisher = {{AAAI} Press},
    author = {Samulowitz, Horst and Memisevic, Roland},
    year = {2007},
    pages = {255--260}
}

@inproceedings{ansotegui_gender-based_2009,
    title = {A Gender-Based Genetic Algorithm for the Automatic Configuration of Algorithms},
    booktitle = {Proceedings of the Fifteenth International Conference on Principles and Practice of Constraint Programming (CP'09)},
    author = {Ans{\'o}tegui, Carlos and Sellmann, Meinolf and Tierney, Kevin},
    year = {2009},
    pages = {142--157}
}

@inproceedings{hutter_automatic_2007,
    title = {Automatic Algorithm Configuration based on Local Search},
    location = {Vancouver, British Columbia, Canada},
    booktitle = {Proceedings of the {Twenty-Second} National Conference on Artificial Intelligence},
    publisher = {{AAAI} Press},
    author = {Hutter, Frank and Hoos, Holger H. and St\"utzle, Thomas},
    year = {2007},
    pages = {1152--1157}
}

@article{hutter_paramils_2009,
    title = {{ParamILS:} An Automatic Algorithm Configuration Framework},
    volume = {36},
    number = {1},
    journal = {Journal of Artificial Intelligence Research (JAIR)},
    author = {Hutter, Frank and Hoos, Holger H. and {Leyton-Brown}, Kevin and St\"utzle, Thomas},
    year = {2009},
    pages = {267--306}
}

@inproceedings{aha_generalizing_1992,
    address = {San Francisco, {CA}, {USA}},
    title = {Generalizing from Case Studies: A Case Study},
    location = {Aberdeen, Scotland, United Kingdom},
    booktitle = {Proceedings of the Ninth International Workshop on Machine Learning},
    publisher = {Morgan Kaufmann Publishers Inc.},
    author = {Aha, David W.},
    year = {1992},
    pages = {1--10}
}

@inproceedings{brodley_automatic_1993,
    title = {Addressing the Selective Superiority Problem: Automatic {Algorithm/Model} Class Selection},
    booktitle = {{ICML}},
    author = {Brodley, Carla E.},
    year = {1993},
    pages = {17--24}
}

@inproceedings{utgoff_perceptron_1988,
    title = {Perceptron Trees: A Case Study In Hybrid Concept Representations},
    booktitle = {National Conference on Artificial Intelligence},
    author = {Utgoff, Paul E.},
    year = {1988},
    pages = {601--606}
}

@inproceedings{armstrong_dynamic_2006,
    title = {Dynamic Algorithm Selection Using Reinforcement Learning},
    booktitle = {Proceedings of the International Workshop on Integrating {AI} and Data Mining},
    author = {Armstrong, Warren and Christen, Peter and {McCreath}, Eric and Rendell, Alistair P.},
    year = {2006},
    pages = {18--25}
}

@inproceedings{petrovic_case-based_2002,
    title = {{Case-Based} Reasoning as a Heuristic Selector in {Hyper-Heuristic} for Course Timetabling Problems},
    booktitle = {{KES}},
    author = {Petrovic, Sanja and Qu, Rong},
    year = {2002},
    pages = {336--340}
}

@article{glover_future_1986,
    title = {Future Paths for Integer Programming and Links to Artificial Intelligence},
    volume = {13},
    number = {5},
    journal = {Comput. Oper. Res.},
    author = {Glover, Fred},
    year = {1986},
    pages = {533--549}
}

@inproceedings{cowling_parameter-free_2001,
    title = {A {Parameter-Free} Hyperheuristic for Scheduling a Sales Summit},
    booktitle = {Proceedings of the Fourth Metaheuristic International Conference},
    author = {Cowling, Peter and Kendall, Graham and Soubeiga, Eric},
    year = {2001},
    pages = {127--131}
}

@article{fukunaga_automated_2008,
    title = {Automated Discovery of Local Search Heuristics for Satisfiability Testing},
    volume = {16},
    journal = {Evol. Comput.},
    author = {Fukunaga, Alex S.},
    year = {2008},
    pages = {31--61}
}

@inproceedings{terashima-marin_evolution_1999,
    title = {Evolution of Constraint Satisfaction Strategies in Examination Timetabling},
    booktitle = {Proceedings of the Genetic and Evolutionary Computation Conference},
    publisher = {Morgan Kaufmann},
    author = {{Terashima-Mar\'in}, Hugo and Ross, Peter and {Valenzuela-Rend\'on}, Manuel},
    year = {1999},
    pages = {635--642}
}

@inproceedings{xu_satzilla2009_2009,
    title = {{SATzilla2009:} An Automatic Algorithm Portfolio for {SAT}},
    booktitle = {2009 {SAT} Competition},
    author = {Xu, Lin and Hutter, Frank and Hoos, Holger H. and {Leyton-Brown}, Kevin},
    year = {2009}
}

@inproceedings{fukunaga_automated_2002,
    address = {Menlo Park, {CA}, {USA}},
    title = {Automated Discovery of Composite {SAT} Variable-Selection Heuristics},
    location = {Edmonton, Alberta, Canada},
    booktitle = {Eighteenth National Conference on Artificial Intelligence},
    publisher = {American Association for Artificial Intelligence},
    author = {Fukunaga, Alex S.},
    year = {2002},
    pages = {641--648}
}

@inproceedings{malitsky_non-model-based_2011,
    title = {Non-Model-Based Algorithm Portfolios for {SAT}},
    booktitle = {Proceedings of the Fourteenth International Conference on Theory and Applications of Satisfiability Testing},
    author = {Malitsky, Yuri and Sabharwal, Ashish and Samulowitz, Horst and Sellmann, Meinolf},
    publisher = {Springer},
    series    = {Lecture Notes in Computer Science},
    volume    = {6695},
    pages = {369--370},
    year = {2011}
}

@incollection{kadioglu_algorithm_2011,
    title={Algorithm Selection and Scheduling},
    author={Kadioglu, Serdar and Malitsky, Yuri and Sabharwal, Ashish and Samulowitz, Horst and Sellmann, Meinolf},
    year={2011},
    booktitle={Proceedings of the International Conference on Principles and Practice of Constraint Programming},
    volume={6876},
    series={Lecture Notes in Computer Science},
    publisher={Springer},
    pages={454-469}
}

@inproceedings{kroer_feature_2011,
    title = {Feature Filtering for {Instance-Specific} Algorithm Configuration},
    booktitle = {Proceedings of the {Twenty-Third} International Conference on Tools with Artificial Intelligence},
    author = {Kroer, Christian and Malitsky, Yuri},
    year = {2011}
}

@inproceedings{kuefler_using_2008,
    series = {{ICCS} '08},
    title = {On Using Reinforcement Learning to Solve Sparse Linear Systems},
    booktitle = {Proceedings of the Eighth International Conference on Computational Science},
    publisher = {{Springer}},
    author = {Kuefler, Erik and Chen, {Tzu-Yi}},
    year = {2008},
    pages = {955--964}
}

@inproceedings{bhowmick_towards_2009,
    series = {{ICCS} '09},
    title = {Towards {Low-Cost}, {High-Accuracy} Classifiers for Linear Solver Selection},
    booktitle = {Proceedings of the Ninth International Conference on Computational Science},
    publisher = {{Springer}},
    author = {Bhowmick, Sanjukta and Toth, Brice and Raghavan, Padma},
    year = {2009},
    pages = {463--472}
}

@inproceedings{brewer_high-level_1995,
    address = {New York, {NY}, {USA}},
    series = {{PPOPP} '95},
    title = {High-Level Optimization via Automated Statistical Modeling},
    location = {Santa Barbara, California, United States},
    booktitle = {Proceedings of the Fifth {ACM} {SIGPLAN} Symposium on Principles and Practice of Parallel Programming},
    publisher = {{ACM}},
    author = {Brewer, Eric A.},
    year = {1995},
    pages = {80--91}
}

@article{cahill_knowledge-based_1994,
    title = {Knowledge-based algorithm construction for real-world engineering {PDEs}},
    volume = {36},
    number = {4-6},
    journal = {Mathematics and Computers in Simulation},
    author = {Cahill, Eamonn},
    year = {1994},
    pages = {389--400}
}

@inproceedings{gagliolo_impact_2006,
    title = {Impact of Censored Sampling on the Performance of Restart Strategies},
    booktitle = {{CP}},
    author = {Gagliolo, Matteo and Schmidhuber, J\"urgen},
    year = {2006},
    pages = {167--181}
}

@inproceedings{caseau_meta-heuristic_1999,
    address = {London, {UK}},
    title = {A {Meta-Heuristic} Factory for Vehicle Routing Problems},
    booktitle = {Proceedings of the Fifth International Conference on Principles and Practice of Constraint Programming},
    publisher = {{Springer}},
    author = {Caseau, Yves and Laburthe, Fran\c{c}ois and Silverstein, Glenn},
    year = {1999},
    pages = {144--158}
}

@inproceedings{wei_switching_2008,
    title = {Switching among {Non-Weighting}, Clause Weighting, and Variable Weighting in Local Search for {SAT}},
    booktitle = {Proceedings of the Fourteenth International Conference on Principles and Practice of Constraint Programming},
    publisher = {{Springer}},
    author = {Wei, Wanxia and Li, Chu Min and Zhang, Harry},
    year = {2008},
    pages = {313--326}
}

@article{bauer_empirical_1999,
    title = {An Empirical Comparison of Voting Classification Algorithms: Bagging, Boosting, and Variants},
    volume = {36},
    number = {1-2},
    journal = {Machine Learning},
    author = {Bauer, Eric and Kohavi, Ron},
    year = {1999},
    pages = {105--139}
}

@inproceedings{elsayed_synthesis_2010,
    title = {Synthesis of Search Algorithms from High-level {CP} Models},
    booktitle = {Proceedings of the Ninth International Workshop on Constraint Modelling and Reformulation},
    author = {Elsayed, Samir A. Mohamed and Michel, Laurent},
    month = sep,
    year = {2010}
}

@inproceedings{elsayed_synthesis_2011,
    title = {Synthesis of Search Algorithms from High-level {CP} Models},
    booktitle = {Seventeenth International Conference on Principles and Practice of Constraint Programming},
    publisher = {{Springer}},
    author = {Elsayed, Samir A. Mohamed and Michel, Laurent},
    year = {2011},
    pages = {256--270},
}

@inproceedings{wolpert_supervised_2001,
        title = {The Supervised Learning {No-Free-Lunch} Theorems},
        booktitle = {Proceedings of the Sixth Online World Conference on Soft Computing in Industrial Applications},
        author = {Wolpert, David H.},
        year = {2001},
        pages = {25--42}
}

@inproceedings{rao_for_1995,
        title = {For Every Generalization Action, Is There Really An Equal And Opposite Reaction? {Analysis} of the Conservation Law for Generalization Performance},
        booktitle = {Proceedings of the Twelfth International Conference on Machine Learning},
        publisher = {Morgan Kaufmann},
        author = {Rao, R. Bharat and Gordon, Diana and Spears, William},
        year = {1995},
        pages = {471--479}
}

@inproceedings{gerevini_automatically_2009,
    title = {An Automatically Configurable Portfolio-based Planner with Macro-actions: {PbP}},
    booktitle = {Proceedings of the Nineteenth International Conference on Automated Planning and Scheduling},
    author = {Gerevini, Alfonso E. and Saetti, Alessandro and Vallati, Mauro},
    year = {2009},
    pages = {350--353}
}

@inproceedings{roberts_learned_2007,
    title = {Learned Models of Performance for Many Planners},
booktitle = {Proceedings of the Workshop on {AI} Planning and Learning at the Seventeenth International Conference on Automated Planning and Scheduling.},
    author = {Roberts, Mark and Howe, Adele E.},
    year = {2007}
}

@inproceedings{roberts_what_2008,
    title = {What Makes Planners Predictable?},
    booktitle = {{ICAPS}},
    author = {Roberts, Mark and Howe, Adele E. and Wilson, Brandon and {desJardins}, Marie},
    year = {2008},
    pages = {288--295}
}

@inproceedings{kotthoff_preliminary_2011,
    title = {A Preliminary Evaluation of Machine Learning in Algorithm Selection for Search Problems},
    booktitle = {Fourth Annual Symposium on Combinatorial Search},
    author = {Kotthoff, Lars and Gent, Ian P. and Miguel, Ian},
    month = jul,
    year = {2011},
    pages = {84--91}
}

@inproceedings{gent_machine_2010,
    title = {Machine learning for constraint solver design -– a case study for the alldifferent constraint},
    booktitle = {Proceedings of the Third Workshop on Techniques for implementing Constraint Programming Systems {(TRICS)}},
    author = {Gent, Ian and Kotthoff, Lars and Miguel, Ian and Nightingale, Peter},
    year = {2010},
    pages = {13--25}
}

@inproceedings{kotthoff_ensemble_2010,
    title = {Ensemble classification for constraint solver configuration},
    booktitle = {Proceedings of the Sixteenth International Conference on Principles and Practices of Constraint Programming},
    author = {Kotthoff, Lars and Miguel, Ian and Nightingale, Peter},
    month = sep,
    year = {2010},
    pages = {321--329}
}

@inproceedings{gent_learning_2010,
    title = {Learning When to Use Lazy Learning in Constraint Solving},
    booktitle = {Proceedings of the Nineteenth European Conference on Artificial Intelligence},
    author = {Gent, Ian and Jefferson, Chris and Kotthoff, Lars and Miguel, Ian and Moore, Neil and Nightingale, Peter and Petrie, Karen},
    year = {2010},
    pages = {873--878},
    publisher = {{IOS} Press},
}

@inproceedings{balasubramaniam_automated_2012,
    title = {An Automated Approach to Generating Efficient Constraint Solvers},
    author = {Dharini Balasubramaniam and Ian P. Gent and Christopher Jefferson and Lars Kotthoff and Ian Miguel and Peter Nightingale},
    booktitle = {{Thirty-Fourth} International Conference on Software Engineering},
    pages = {661--671},
    month = jun,
    year = 2012
}

@article{wolpert_no_1997,
    title = {No free lunch theorems for optimization},
    volume = {1},
    number = {1},
    journal = {{IEEE} Transactions on Evolutionary Computation},
    author = {Wolpert, David H. and Macready, William G.},
    year = {1997},
    pages = {67--82},
}

@inproceedings{domingos_how_1998,
    title = {How to Get a Free Lunch: A Simple Cost Model for Machine Learning Applications},
    booktitle = {Proceedings of the {AAAI98/ICML98} Workshop on the Methodology of Applying Machine Learning},
    publisher = {{AAAI} Press},
    author = {Domingos, Pedro},
    year = {1998},
    pages = {1--7},
}

@techreport{rice_how_1999,
    title = {How to get a Free Lunch (at no cost)},
    number = {99-014},
    institution = {Purdue University},
    author = {Rice, John R. and Ramakrishnan, Naren},
    month = apr,
    year = {1999},
}

@inproceedings{ewald_selecting_2010,
    address = {Washington, {DC}, {USA}},
    series = {{PADS} '10},
    title = {Selecting Simulation Algorithm Portfolios by Genetic Algorithms},
    booktitle = {Proceedings of the {IEEE} Workshop on Principles of Advanced and Distributed Simulation},
    publisher = {{IEEE} Computer Society},
    author = {Ewald, Roland and Schulz, Rene and Uhrmacher, Adelinde M.},
    year = {2010},
    pages = {1--9},
}

@inproceedings{cheeseman_where_1991,
    address = {San Francisco, {CA}, {USA}},
    title = {Where the really hard problems are},
    booktitle = {Twelfth International Joint Conference on Artificial Intelligence},
    publisher = {Morgan Kaufmann Publishers Inc.},
    author = {Cheeseman, Peter and Kanefsky, Bob and Taylor, William M.},
    year = {1991},
    pages = {331--337}
}

@inproceedings{xu_learning_2009,
    title = {Learning Adaptation to solve constraint satisfaction problems},
    booktitle = {Learning and Intelligent Optimization},
    author = {Xu, Yuehua and Stern, David and Samulowitz, Horst},
    month = jan,
    year = {2009}
}

@article{hogg_phase_1996,
    title = {Phase transitions and the search problem},
    volume = {81},
    number = {1-2},
    journal = {Artif. Intell.},
    author = {Hogg, Tad and Huberman, Bernardo A. and Williams, Colin P.},
    month = mar,
    year = {1996},
    pages = {1--15}
}

@article{opitz_popular_1999,
    title = {Popular Ensemble Methods: An Empirical Study},
    volume = {11},
    journal = {Journal of Artificial Intelligence Research},
    author = {Opitz, David and Maclin, Richard},
    year = {1999},
    pages = {169--198}
}

@article{breiman_bagging_1996,
    title = {Bagging Predictors},
    volume = {24},
    number = {2},
    journal = {Mach. Learn.},
    author = {Breiman, Leo},
    month = aug,
    year = {1996},
    pages = {123--140}
}

@article{schapire_strength_1990,
    title = {The Strength of Weak Learnability},
    volume = {5},
    number = {2},
    journal = {Machine Learning},
    author = {Schapire, Robert E.},
    year = {1990},
    pages = {197--227}
}

@article{hoos_programming_2012,
    title = {Programming by Optimization},
    volume = {55},
    number = {2},
    journal = {Commun. {ACM}},
    author = {Hoos, Holger H.},
    month = feb,
    year = {2012},
    pages = {70--80}
}

@article{ansel_petabricks_2009,
    title = {{PetaBricks:} A Language and Compiler for Algorithmic Choice},
    volume = {44},
    number = {6},
    journal = {{SIGPLAN} Not.},
    author = {Ansel, Jason and Chan, Cy and Wong, Yee Lok and Olszewski, Marek and Zhao, Qin and Edelman, Alan and Amarasinghe, Saman},
    month = jun,
    year = {2009},
    pages = {38--49}
}

@inproceedings{wang_optimizing_2007,
    address = {Piscataway, {NJ}, {USA}},
    series = {{WSC} '07},
    title = {Optimizing Time Warp Simulation with Reinforcement Learning Techniques},
    booktitle = {Proceedings of the Thiry-Ninth conference on Winter simulation},
    publisher = {{IEEE} Press},
    author = {Wang, Jun and Tropper, Carl},
    year = {2007},
    pages = {577--584}
}

@inproceedings{pfahringer_meta-learning_2000,
    address = {San Francisco, {CA}, {USA}},
    series = {{ICML} '00},
    title = {{Meta-Learning} by Landmarking Various Learning Algorithms},
    booktitle = {Seventeenth International Conference on Machine Learning},
    publisher = {Morgan Kaufmann Publishers Inc.},
    author = {Pfahringer, Bernhard and Bensusan, Hilan and {Giraud-Carrier}, Christophe G.},
    year = {2000},
    pages = {743--750}
}
@inproceedings{kotthoff_hybrid_2012,
    author = {Lars Kotthoff},
    title = {Hybrid Regression-Classification Models for Algorithm Selection},
    booktitle = {Twentieth European Conference on Artificial Intelligence},
    pages = {480--485},
    month = {August},
    year = {2012}
}

@article{wolpert_stacked_1992,
    title = {Stacked Generalization},
    volume = {5},
    journal = {Neural Networks},
    author = {Wolpert, David H.},
    year = {1992},
    pages = {241--259}
}

@inproceedings{yu_adaptive_2004,
    address = {Washington, {DC}, {USA}},
    title = {An Adaptive Algorithm Selection Framework},
    booktitle = {Proceedings of the Thirteenth International Conference on Parallel Architectures and Compilation Techniques},
    publisher = {{IEEE} Computer Society},
    author = {Yu, Hao and Zhang, Dongmin and Rauchwerger, Lawrence},
    year = {2004},
    pages = {278--289}
},

@article{yu_adaptive_2006,
    title = {An Adaptive Algorithm Selection Framework for Reduction Parallelization},
    volume = {17},
    number = {10},
    journal = {{IEEE} Transactions on Parallel and Distributed Systems},
    author = {Yu, Hao and Rauchwerger, Lawrence},
    month = oct,
    year = {2006},
    pages = {1084--1096}
}

@inproceedings{yu_parallel_2002,
    title = {Parallel Reductions: An Application of Adaptive Algorithm Selection},
    booktitle = {Proceedings of the Fifteenth International Conference on Languages and Compilers for Parallel Computing},
    publisher = {{Springer}},
    author = {Yu, Hao and Dang, Francis and Rauchwerger, Lawrence},
    year = {2002},
    pages = {188--202}
}

@inproceedings{sayag_combining_2006,
    title = {Combining Multiple Heuristics},
    volume = {3884},
    booktitle = {{STACS}},
    publisher = {Springer},
    author = {Sayag, Tzur and Fine, Shai and Mansour, Yishay},
    year = {2006},
    pages = {242--253}
}

@inproceedings{gagliolo_towards_2008,
    title = {Towards Distributed Algorithm Portfolios},
    booktitle = {International Symposium on Distributed Computing and Artificial Intelligence, Advances in Soft Computing},
    publisher = {Springer},
    author = {Gagliolo, Matteo and Schmidhuber, J\"urgen},
    year = {2008}
}

@article{gagliolo_algorithm_2011,
    title = {Algorithm portfolio selection as a bandit problem with unbounded losses},
    volume = {61},
    number = {2},
    journal = {Annals of Mathematics and Artificial Intelligence},
    author = {Gagliolo, Matteo and Schmidhuber, J\"urgen},
    month = feb,
    year = {2011},
    pages = {49--86}
}

@inproceedings{bougeret_combining_2009,
    address = {Washington, {DC}, {USA}},
    title = {Combining multiple heuristics on discrete resources},
    booktitle = {{IEEE} International Symposium on Parallel \& Distributed Processing},
    publisher = {{IEEE} Computer Society},
    author = {Bougeret, Marin and Dutot, {Pierre-Fran\,cois} and Goldman, Alfredo and Ngoko, Yanik and Trystram, Denis},
    year = {2009},
    pages = {1--8}
}

@inproceedings{gebser_portfolio_2011,
    title = {A portfolio solver for answer set programming: preliminary report},
    booktitle = {Eleventh International Conference on Logic Programming and Nonmonotonic Reasoning},
    publisher = {{Springer}},
    author = {Gebser, Martin and Kaminski, Roland and Kaufmann, Benjamin and Schaub, Torsten and Schneider, Marius Thomas and Ziller, Stefan},
    year = {2011},
    pages = {352--357}
}

@article{hong_groups_2004,
    title = {Groups of diverse problem solvers can outperform groups of high-ability problem solvers},
    volume = {101},
    number = {46},
    journal = {Proceedings of the National Academy of Sciences of the United States of America},
    author = {Hong, Lu and Page, Scott E.},
    month = nov,
    year = {2004},
    pages = {16385--16389}
}

@inproceedings{xu_hydra-mip_2011,
    title = {{Hydra-MIP:} Automated Algorithm Configuration and Selection for Mixed Integer Programming},
    booktitle = {Proceedings of the {RCRA} Workshop on Experimental Evaluation of Algorithms for Solving Problems with Combinatorial Explosion at the {Twenty-Second} International Joint Conference on Artificial Intelligence},
    author = {Xu, Lin and Hutter, Frank and Hoos, Holger H. and {Leyton-Brown}, Kevin},
    year = {2011}
}

@phdthesis{streeter_using_2007,
    title = {Using Online Algorithms to Solve {NP-Hard} Problems More Efficiently in Practice},
    school = {Carnegie Mellon University},
    author = {Streeter, Matthew J.},
    month = dec,
    year = {2007}
},

@phdthesis{malitsky_thesis_2012,
    title = {{Instance-Specific} Algorithm Configuration},
    school = {Brown University},
    author = {Malitsky, Yuri},
    year = {2012}
},

@phdthesis{gagliolo_online_2010,
    title = {Online Dynamic Algorithm Portfolios -- Minimizing the computational cost of problem solving},
    school = {University of Lugano},
    author = {Gagliolo, Matteo},
    year = {2010}
},

@phdthesis{hutter_automated_2009,
    address = {Vancouver, Canada},
    title = {Automated Configuration of Algorithms for Solving Hard Computational Problems},
    school = {University of British Columbia, Department of Computer Science},
    author = {Hutter, Frank},
    month = oct,
    year = {2009}
}

@article{smith-miles_measuring_2012,
    title = {Measuring instance difficulty for combinatorial optimization problems},
    volume = {39},
    number = {5},
    journal = {Comput. Oper. Res.},
    author = {{Smith-Miles}, Kate and Lopes, Leo},
    month = may,
    year = {2012},
    pages = {875--889}
}

@phdthesis{carchrae_low_2009,
    title = {Low Knowledge Algorithm Control for {Constraint-Based} Scheduling},
    school = {National University of Ireland},
    author = {Carchrae, Tom},
    month = sep,
    year = {2009}
}

@phdthesis{ewald_automatic_2010,
    title = {Automatic Algorithm Selection for Complex Simulation Problems},
    school = {University of Rostock},
    author = {Ewald, Roland},
    month = aug,
    year = {2010}
}

@phdthesis{kotthoff_algorithm_2012,
    title = {On Algorithm Selection, with an Application to Combinatorial Search Problems},
    school = {University of St Andrews},
    author = {Kotthoff, Lars},
    year = {2012}
}

@inproceedings{yun_learning_2012,
    title = {Learning Algorithm Portfolios for Parallel Execution},
    booktitle = {Proceedings of the Sixth International Conference Learning and Intelligent Optimisation {LION}},
    publisher = {Springer},
    author = {Yun, Xi and Epstein, Susan L.},
    pages = {323--338},
    year = {2012}
}

@inproceedings{smith-miles_towards_2008,
    title = {Towards Insightful Algorithm Selection For Optimisation Using {Meta-Learning} Concepts},
    booktitle = {{IEEE} International Joint Conference on Neural Networks},
    author = {{Smith-Miles}, Kate A.},
    month = jun,
    year = {2008},
    pages = {4118--4124}
}

@inproceedings{hutter_parallel_2012,
    title = {Parallel Algorithm Configuration},
    booktitle = {Proceedings of {LION-6}},
    author = {Hutter, Frank and Hoos, Holger H. and {Leyton-Brown}, Kevin},
    year = {2012}
}

@inproceedings{xu2012evaluating,
	title = {Evaluating Component Solver Contributions to {Portfolio-Based} Algorithm Selectors},
	booktitle = {Proceedings of the Fifteenth International Conference on Theory and Applications of Satisfiability Testing},
	author = {Xu, Lin and Hutter, Frank and Hoos, Holger H. and {Leyton-Brown}, Kevin},
    pages = {228--241},
	year = {2012}, 
    publisher = {Springer},
    series    = {Lecture Notes in Computer Science},
    volume    = {7317},
}

@inproceedings{fukunaga_genetic_2000,
	title = {Genetic Algorithm Portfolios},
	volume = {2},
	booktitle = {{IEEE} Congress on Evolutionary Computation},
	author = {Fukunaga, Alex S.},
	year = {2000},
	pages = {1304--1311}
}

@article{kotthoff_evaluation_2012,
	title = {An Evaluation of Machine Learning in Algorithm Selection for Search Problems},
	volume = {25},
	number = {3},
	journal = {{AI} Communications},
	author = {Kotthoff, Lars and Gent, Ian P. and Miguel, Ian},
	year = {2012},
	pages = {257--270}
}

@inproceedings{hurley_adaptation_2012,
	series = {Lecture Notes in Computer Science},
	title = {Adaptation in a {CBR-Based} Solver Portfolio for the Satisfiability Problem},
	volume = {7466},
	booktitle = {{Case-Based} Reasoning Research and Development},
	author = {Hurley, Barry and {O’Sullivan}, Barry},
	year = {2012},
	pages = {152--166}
}

@article{shukla_genetic-algorithms-based_2012,
	title = {Genetic-algorithms-based algorithm portfolio for inventory routing problem with stochastic demand},
	journal = {International Journal of Production Research},
	author = {Shukla, Nagesh and Tiwari, {M.K.} and Ceglarek, Darek},
	year = {2012},
	pages = {1--20}
}

@incollection{maturana_adaptive_2011,
	title = {Adaptive Operator Selection and Management in Evolutionary Algorithms},
	booktitle = {Autonomous Search},
	publisher = {Springer},
	author = {Maturana, Jorge and Fialho, \'Alvaro and Saubion, Fr\'ed\'eric and Schoenauer, Marc and Lardeux, Fr\'ed\'eric and Sebag, Mich\`ele},
	year = {2011},
	pages = {161--189}
}

@incollection{bridge_case-based_2011,
	title = {{Case-Based} Reasoning for Autonomous Constraint Solving},
	booktitle = {Autonomous Search},
	publisher = {Springer},
	author = {Bridge, Derek and {O'Mahony}, Eoin and {O'Sullivan}, Barry},
	year = {2011},
	pages = {73--95}
}

@incollection{epstein_learning_2011,
	title = {Learning a Mixture of Search Heuristics},
	booktitle = {Autonomous Search},
	publisher = {Springer},
	author = {Epstein, {Susan L.} and Petrovic, Smiljana},
	year = {2011},
	pages = {97--127}
}

@inproceedings{malitsky_parallel_2012,
	title = {Parallel {SAT} Solver Selection and Scheduling},
	booktitle = {Principles and Practice of Constraint Programming},
	author = {Malitsky, Yuri and Ashish, Sabharwal and Samulowitz, Horst and Sellmann, Meinolf},
	year = {2012}
}

@inproceedings{bischl_algorithm_2012,
	address = {New York, {NY}, {USA}},
	series = {{GECCO} '12},
	title = {Algorithm Selection Based on Exploratory Landscape Analysis and {Cost-Sensitive} Learning},
	booktitle = {Proceedings of the Fourteenth Annual Conference on Genetic and Evolutionary Computation},
	publisher = {{ACM}},
	author = {Bischl, Bernd and Mersmann, Olaf and Trautmann, Heike and Preu\ss{}, Mike},
	year = {2012},
	pages = {313--320}
}

@inproceedings{veerapen_exploration-exploitation_2012,
	address = {New York, {NY}, {USA}},
	series = {{GECCO} '12},
	title = {An {Exploration-Exploitation} {Compromise-Based} Adaptive Operator Selection for Local Search},
	booktitle = {Proceedings of the Fourteenth Annual Conference on Genetic and Evolutionary Computation},
	publisher = {{ACM}},
	author = {Veerapen, Nadarajen and Maturana, Jorge and Saubion, Fr\'ed\'eric},
	year = {2012},
	pages = {1277--1284}
}

@article{valenzano_arvandherd_2012,
	title = {{ArvandHerd:} Parallel Planning with a Portfolio},
	journal = {European Conference on Artificial Intelligence (ECAI)},
	author = {Valenzano, Richard A. and Nakhost, Hootan and M\"uller, Martin and Schaeffer, Jonathan and Sturtevant, Nathan R.},
	year = {2012},
	pages = {786--791}
}

@inproceedings{helmert_fast_2011,
	title = {Fast Downward Stone Soup: A Baseline for Building Planner Portfolios},
booktitle = {Proceedings of the Workshop on Planning and Learning at the {Twenty-First} International Conference on Automated Planning and Scheduling},
	author = {Helmert, Malte and R\"oger, Gabriele and Karpas, Erez},
	year = {2011},
	pages = {28--35}
}

@inproceedings{malitsky_instance-specific_2012,
	series = {{CPAIOR'12}},
	title = {Instance-Specific Algorithm Configuration as a Method for Non-Model-Based Portfolio Generation},
	booktitle = {Proceedings of the Ninth International Conference on Integration of {AI} and {OR} Techniques in Constraint Programming for Combinatorial Optimization Problems},
	publisher = {Springer},
	author = {Malitsky, Yuri and Sellmann, Meinolf},
	year = {2012},
	pages = {244--259}
}

@article{brazdil_ranking_2003,
	title = {Ranking Learning Algorithms: Using {IBL} and Meta-Learning on Accuracy and Time Results},
	volume = {50},
	number = {3},
	journal = {Mach. Learn.},
	author = {Brazdil, Pavel B. and Soares, Carlos and Da Costa, Joaquim Pinto},
	month = mar,
	year = {2003},
	pages = {251--277}
}

@inproceedings{valenzano_simultaneously_2010,
	title = {Simultaneously searching with multiple settings: An alternative to parameter tuning for suboptimal single-agent search algorithms},
	booktitle = {{ICAPS}},
	author = {Valenzano, Richard and Sturtevant, Nathan and Schaeffer, Jonathan and Buro, Karen},
	year = {2010},
	pages = {177--184}
}

@inproceedings{kiziltan_classification-based_2011,
	title = {A Classification-based Approach to Managing a Solver Portfolio for {CSPs}},
    booktitle = {{Twenty-Second} Irish Conference on Artificial Intelligence and Cognitive Science},
	author = {Kiziltan, Zeynep and Mandrioli, Luca and Mauro, Jacopo and {O'Sullivan}, Barry},
	year = {2011}
}

@inproceedings{stergiou_heuristics_2008,
	title = {Heuristics for Dynamically Adapting Propagation},
	booktitle = {{ECAI}},
	author = {Stergiou, Kostas},
	year = {2008},
	pages = {485--489}
}

@inproceedings{paparrizou_evaluating_2012,
	title = {Evaluating Simple Fully Automated Heuristics for Adaptive Constraint Propagation},
	booktitle = {{ICTAI}},
	author = {Paparrizou, Anastasia and Stergiou, Kostas},
	year = {2012}
}

@inproceedings{epstein_learning_2005,
	title = {Learning propagation policies},
	booktitle = {Proceedings of the Second International Workshop on Constraint Propagation and Implementation},
	author = {Epstein, Susan L. and Wallace, Richard J. and Freuder, Eugene C. and Xingjian, Li},
	year = {2005}
}

@inproceedings{sabharwal_boosting_2013,
	title = {Boosting Sequential Solver Portfolios: Knowledge Sharing and Accuracy Prediction},
	booktitle = {{LION} 7},
	author = {Sabharwal, Ashish and Samulowitz, Horst and Sellmann, Meinolf and Malitsky, Yuri},
	month = jan,
	year = {2013}
},

@inproceedings{abell_features_2013,
	title = {Features for Exploiting Black-Box Optimization Problem Structure},
	booktitle = {{LION} 7},
	author = {Abell, Tinus and Malitsky, Yuri and Tierney, Kevin},
	month = jan,
	year = {2013}
},

@inproceedings{hutter_identifying_2013,
	title = {Identifying Key Algorithm Parameters and Instance Features using Forward Selection},
	booktitle = {{LION} 7},
	author = {Hutter, Frank and Hoos, Holger H. and Leyton-Brown, Kevin},
	month = jan,
	year = {2013}
},

@inproceedings{musliu_algorithm_2013,
	title = {Algorithm Selection for the Graph Coloring Problem},
	booktitle = {{LION} 7},
	author = {Musliu, Nysret and Schwengerer, Martin},
	month = jan,
	year = {2013}
}

@article{smith-miles_discovering_2011,
	title = {Discovering the suitability of optimisation algorithms by learning from evolved instances},
	volume = {61},
	number = {2},
	journal = {Annals of Mathematics and Artificial Intelligence},
	author = {Smith-Miles, Kate and Hemert, Jano},
	year = {2011},
	pages = {87--104}
}

@article{hutter_algorithm_2012,
	title = {Algorithm Runtime Prediction: The State of the Art},
	volume = {abs/1211.0906},
	journal = {{CoRR}},
	author = {Hutter, Frank and Xu, Lin and Hoos, Holger H. and Leyton-Brown, Kevin},
	year = {2012}
}

@inproceedings{leite_active_2010,
	title = {Active Testing Strategy to Predict the Best Classification Algorithm via Sampling and Metalearning},
	booktitle = {{ECAI}},
	author = {Leite, Rui and Brazdil, Pavel},
	year = {2010},
	pages = {309--314}
}

@inproceedings{kanda_meta-learning_2012,
	title = {A Meta-Learning Approach to Select Meta-Heuristics for the Traveling Salesman Problem Using {MLP-Based} Label Ranking},
	booktitle = {Nineteenth International Conference on Neural Information Processing},
	publisher = {Springer},
	author = {Kanda, Jorge and Soares, Carlos and Hruschka, Eduardo and de Carvalho, Andre},
	year = {2012},
	pages = {488--495}
},

@inproceedings{aiguzhinov_similarity-based_2010,
	title = {A Similarity-Based Adaptation of Naive Bayes for Label Ranking: Application to the Metalearning Problem of Algorithm Recommendation},
	booktitle = {Thirteenth International conference on Discovery Science},
	publisher = {Springer},
	author = {Aiguzhinov, Artur and Soares, Carlos and Serra, Ana Paula},
	year = {2010},
	pages = {16--26}
}

@inproceedings{kanda_using_2010,
	title = {Using Meta-learning to Classify Traveling Salesman Problems},
	booktitle = {Eleventh Brazilian Symposium on Neural Networks},
	author = {Kanda, Jorge and de Carvalho, Andre and Hruschka, Eduardo and Soares, Carlos},
	year = {2010},
	pages = {73--78}
},

@article{kanda_selection_2011,
	title = {Selection of algorithms to solve traveling salesman problems using meta-learning},
	volume = {8},
	number = {3},
	journal = {Int. J. Hybrid Intell. Syst.},
	author = {Kanda, Jorge and de Carvalho, Andre and Hruschka, Eduardo and Soares, Carlos},
	month = aug,
	year = {2011},
	pages = {117--128}
}

@inproceedings{amadini_empirical_2013,
	series = {Lecture Notes in Computer Science},
	title = {An Empirical Evaluation of Portfolios Approaches for Solving {CSPs}},
	volume = {7874},
	booktitle = {Integration of {AI} and {OR} Techniques in Constraint Programming for Combinatorial Optimization Problems},
	publisher = {Springer},
	author = {Amadini, Roberto and Gabbrielli, Maurizio and Mauro, Jacopo},
	year = {2013},
	pages = {316--324}
}

@inproceedings{kadioglu_non-model-based_2012,
	title = {Non-Model-Based Search Guidance for Set Partitioning Problems},
	booktitle = {{AAAI}},
	author = {Kadioglu, Serdar and Malitsky, Yuri and Sellmann, Meinolf},
	year = {2012}
}


@inproceedings{alhossaini_instance-specific_2013,
	title = {Instance-Specific Remodelling of Planning Domains by Adding Macros and Removing Operators},
	booktitle = {Symposium on Abstraction, Reformulation, and Approximation},
	author = {Alhossaini, Maher and Beck, J. Christopher},
	year = {2013}
}

@article{seijen_efficient_2013,
	title = {Efficient Abstraction Selection in Reinforcement Learning},
	journal = {Computational Intelligence},
	author = {Seijen, Harm van and Whiteson, Shimon and Kester, Leon},
	year = {2013}
}

@inproceedings{malitsky_evolving_2013,
	title = {Evolving Instance Specific Algorithm Configuration},
	booktitle = {The Sixth Annual Symposium on Combinatorial Search},
	author = {Malitsky, Yuri and Mehta, Deepak and {O'Sullivan}, Barry},
	year = {2013}
}

@inproceedings{mehta_lazy_2013,
	title = {Lazy Branching for Constraint Satisfaction},
	booktitle = {{ICTAI}},
	author = {Mehta, Deepak and {O'Sullivan}, Barry and Kotthoff, Lars and Malitsky, Yuri},
	month = nov,
	year = {2013}
}

@inproceedings{malitsky_algorithm_2013,
	title = {Algorithm Portfolios Based on Cost-Sensitive Hierarchical Clustering},
	booktitle = {Proceedings of the {Twenty-Third} International Joint Conference on Artificial Intelligence},
	author = {Malitsky, Yuri and Sabharwal, Ashish and Samulowitz, Horst and Sellmann, Meinolf},
	month = aug,
	year = {2013}
}

@inproceedings{rayner_subset_2013,
	title = {Subset Selection of Search Heuristics},
    booktitle = {Proceedings of the {Twenty-Third} International Joint Conference on Artificial Intelligence ({IJCAI})},
	author = {Rayner, Chris and Sturtevant, Nathan and Bowling, Michael},
	year = {2013},
	pages = {637--643}
}

@inproceedings{arbelaez_continuous_2010,
	title = {Continuous Search in Constraint Programming},
    booktitle = {Proceedings of the {Twenty-Second} {IEEE} International Conference on Tools with Artificial Intelligence},
	author = {Arbelaez, Alejandro and Hamadi, Youssef and Sebag, Michele},
	year = {2010},
	pages = {53--60}
}

@article{sun_pairwise_2013,
	title = {Pairwise meta-rules for better meta-learning-based algorithm ranking},
	volume = {93},
	number = {1},
	journal = {Machine Learning},
	author = {Sun, Quan and Pfahringer, Bernhard},
	year = {2013},
	pages = {141--161}
}

@inproceedings{collautti_snnap_2013,
	title = {{SNNAP:} Solver-Based Nearest Neighbor for Algorithm Portfolios},
	booktitle = {{ECML/PKDD}},
	author = {Collautti, Marco and Malitsky, Yuri and Mehta, Deepak and {O'Sullivan}, Barry},
	year = {2013},
	pages = {435--450}
}

@inproceedings{gagliolo_algorithm_2010,
	series = {Lecture Notes in Computer Science},
	title = {Algorithm Selection as a Bandit Problem with Unbounded Losses},
	volume = {6073},
	booktitle = {Learning and Intelligent Optimization},
	publisher = {Springer},
	author = {Gagliolo, Matteo and Schmidhuber, J\"urgen},
	year = {2010},
	pages = {82--96}
}

@inproceedings{gagliolo_learning_restart_strategies_2007,
  author    = {Matteo Gagliolo and J{\"{u}}rgen Schmidhuber},
  title     = {Learning Restart Strategies},
  booktitle = {Proceedings of the {Twentieth} International Joint Conference on Artificial Intelligence ({IJCAI})},
  pages     = {792--797},
  year      = {2007}
}

@inproceedings{amadini_portfolio_2014,
	title = {Portfolio Approaches for Constraint Optimization Problems},
	booktitle = {{LION} 8},
	author = {Amadini, Roberto and Gabbrielli, Maurizio and Mauro, Jacopo},
	month = feb,
	year = {2014}
}

@inproceedings{cauwet_algorithm_2014,
	title = {Algorithm Portfolios for Noisy Optimization: Compare Solvers Early},
	booktitle = {{LION} 8},
	author = {Cauwet, Marie-Liesse and Liu, Jialin and Teytaud, Olivier},
	month = feb,
	year = {2014}
}

@article{hoos_aspeed_2014,
	title = {aspeed: Solver scheduling via answer set programming},
	issn = {1475-3081},
	journal = {Theory and Practice of Logic Programming},
	author = {Hoos, Holger H. and Kaminski, Roland and Lindauer, Marius and Schaub, Torsten},
	month = feb,
	year = {2014},
	pages = {1--26}
} volume = {{FirstView}},

@inproceedings{hurley_proteus_2014,
	title = {Proteus: A Hierarchical Portfolio of Solvers and Transformations},
	booktitle = {Proceedings of the Eleventh International Conference on Integration of {AI} and {OR} Techniques in Constraint Programming for Combinatorial Optimization Problems},
	author = {Hurley, Barry and Kotthoff, Lars and Malitsky, Yuri and {O'Sullivan}, Barry},
	year = {2014},
	pages     = {301--317},
} 

@inproceedings{kotthoff_ranking_2014,
	title = {Ranking Algorithms by Performance},
	booktitle = {{LION 8}},
	author = {Kotthoff, Lars},
	month = feb,
	year = {2014}
}

%%%%% Container pre-marshalling dataset

@article{StVo08,
    year={2008},
    issn={0171-6468},
    journal={OR Spectrum},
    volume={30},
    number={1},
    title={Operations research at container terminals: a literature update},
    publisher={Springer},
    author={Stahlbock, R. and Vo{\ss}, S.},
    pages={1-52}
}

@article{LeHs07,
  author =   {Y. Lee and N.Y. Hsu},
  title =    "An Optimization Model for the Container Pre-marshalling Problem",
  journal =      {Computers \& Operations Research},
  year =     {2007},
  volume =   {34},
  number =   {11},
  pages =    {3295--3313}}

@techreport{TiPaVo14tr,
	title = {Solving the Pre-Marshalling Problem to Optimality with {A*} and {IDA*}},
	author = {K. Tierney and D. Pacino and S. Vo{\ss}},
	year = {2014},
	institution = {Decision Support \& Optimization Lab, University of Paderborn},
    number = {Working Paper \#1401}
}

@inproceedings{Ti14tr,
	title = {An Algorithm Selection Benchmark of the Container Pre-Marshalling Problem},
	author = {K. Tierney and Y. Malitsky},
	year = {2015},
    booktitle = {Proceedings of the Ninth International Conference Learning and Intelligent Optimisation {LION} (To Appear)},
    publisher = {Springer},
}

@article{BoFo12,
    title = "A tree search procedure for the container pre-marshalling problem ",
    journal = "European Journal of Operational Research ",
    volume = "217",
    number = "3",
    pages = "531--540",
    year = "2012",
    note = "",
    issn = "0377-2217",
    author = "A. Bortfeldt and F. Forster",
}

@inproceedings{CaVo09,
    year={2009},
    isbn={978-3-642-01128-3},
    booktitle={Applications of Evolutionary Computing},
    volume={5484},
    series={Lecture Notes in Computer Science},
    title={A Corridor Method-Based Algorithm for the Pre-marshalling Problem},
    publisher={Springer},
    author={Caserta, M. and Vo{\ss}, S.},
    pages={788-797}
}

@techreport{kotthoff_llama_2013,
        address = {{arXiv}},
        title = {{LLAMA:} Leveraging Learning to Automatically Manage Algorithms},
        note = {\url{http://arxiv.org/abs/1306.1031}},
        number = {{arXiv:1306.1031}},
        author = {Kotthoff, Lars},
        month = jun,
        year = {2013}
}

@article{hall_weka_2009,
        title = {The {WEKA} Data Mining Software: An Update},
        volume = {11},
        number = {1},
        journal = {{SIGKDD} Explorations},
        author = {Hall, Mark and Frank, Eibe and Holmes, Geoffrey and Pfahringer, Bernhard and Reutemann, Peter and Witten, Ian H.},
        month = nov,
        year = {2009},
        pages = {10--18}
}

@Book{baral02a,
  author =	 "C. Baral",
  title =	 "Knowledge Representation, Reasoning and Declarative Problem Solving",
  publisher =	 "Cambridge University Press",
  year =	 2003
}

@Book{gekakasc12a,
  author =	 "M. Gebser and R. Kaminski and B. Kaufmann and T. Schaub",
  title =	 "Answer Set Solving in Practice",
  publisher =	 "Morgan and Claypool Publishers",
  year =	 2012,
  series =	 "Synthesis Lectures on Artificial Intelligence and Machine Learning"
}

@InProceedings{soinie99a,
  author =	 "T. Soininen and I. Niemel{\"a}",
  title =	 "Developing a declarative rule language for applications in product configuration",
  booktitle =	 "Proceedings of the First International Workshop on Practical Aspects of Declarative Languages",
  pages =	 "305-319",
  year =	 1999,
  volume =	 1551,
  series =	 "Lecture Notes in Computer Science",
  publisher =	 "Springer"
}

@Article{ismabogesc09a,
  author =	 "H. Ishebabi and P. Mahr and C. Bobda and M. Gebser and T. Schaub",
  title =	 "Answer Set vs Integer Linear Programming for Automatic Synthesis of Multiprocessor Systems From Real-Time Parallel Programs",
  journal =	 "Journal of Reconfigurable Computing.",
  year =	 2009,
}

@InProceedings{griilelirisc10a,
  author =	 "G. Grasso and S. Iiritano and N. Leone and V. Lio and F. Ricca and F. Scalise",
  title =	 "An {ASP}-Based System for Team-Building in the {G}ioia-{T}auro Seaport",
  pages =	 "40-42",
  booktitle =	 "Proceedings of the Twelfth International Symposium on Practical Aspects of Declarative Languages",
   year =	 2010
}

@InProceedings{nobagewaba01a,
  author =	 "M. Nogueira and M. Balduccini and M. Gelfond and R. Watson and M. Barry",
  title =	 "An {A}-Prolog Decision Support System for the Space Shuttle",
  booktitle =	 "Proceedings of the Third International Symposium on Practical Aspects of Declarative Languages",
  pages =	 "169-183",
  year =	 2001,
  volume =	 1990,
  series =	 "Lecture Notes in Computer Science",
  publisher =	 "Springer"
}

@Article{gekasc12b,
  author =	 "M. Gebser and B. Kaufmann and T. Schaub",
  title =	 "Multi-threaded {ASP} Solving with clasp",
  journal =	 "Theory and Practice of Logic Programming",
  year =	 2012,
  volume =	 12,
  number =	 "4-5",
  pages =	 "525-545"
}

@Article{gekakaosscsc11a,		
	  author =	 "M. Gebser and R. Kaminski and B. Kaufmann and M. Ostrowski and T. Schaub and M. Schneider",		
	  title =	 "Potassco: The {P}otsdam Answer Set Solving Collection",		
	  journal =	 "AI Communications",		
	  year =	 2011,		
	  volume =	 24,		
	  number =	 2,		
	  pages =	 "107-124"		
}

@Proceedings{lpnmr11,
  title =	 "Proceedings of the Eleventh International Conference on
                  Logic Programming and Nonmonotonic Reasoning (LPNMR'11)",
  booktitle =	 "Proceedings of the Eleventh International Conference on
                  Logic Programming and Nonmonotonic Reasoning (LPNMR'11)",
  year =	 2011,
  editor =	 "J. Delgrande and W. Faber",
  volume =	 6645,
  series =	 "Lecture Notes in Artificial Intelligence",
  publisher =	 "Springer"
}

@article{mapuri13a,
	title = "A multi-engine approach to answer-set programming",
	author = "M. Maratea and L. Pulina and F. Ricca",
	journal = "Theory and Practice of Logic Programming",
	pages = "1-28",
	year = "2013"
}




@techreport{hansen2010,
  author = {Hansen, N. and Auger, A. and Finck, S. and Ros, R. },
  title = {Real-Parameter Black-Box Optimization Benchmarking 2010: Experimental Setup},
  institution = {INRIA},
  country = {France},
  number = {RR-7215},
  url = {http://hal.inria.fr/docs/00/46/24/81/PDF/RR-7215.pdf},
  year = {2010}
}

@inproceedings{mersmann2011,
 author = {O. Mersmann and B. Bischl and H. Trautmann and M. Preuss and C. Weihs and G. Rudolph},
 title = {Exploratory Landscape Analysis},
 booktitle = {Proceedings of the Thirteenth Annual Conference on Genetic and Evolutionary Computation},
 series = {GECCO '11},
 year = {2011},
 isbn = {978-1-4503-0557-0},
 location = {Dublin, Ireland},
 pages = {829--836},
 numpages = {8},
 acmid = {2001690},
 publisher = {ACM},
 address = {New York, NY, USA},
}

@article{byrd1995,
  title={A limited memory algorithm for bound constrained optimization},
  author={Byrd, Richard H and Lu, Peihuang and Nocedal, Jorge and Zhu, Ciyou},
  journal={SIAM Journal on Scientific Computing},
  volume={16},
  number={5},
  pages={1190--1208},
  year={1995},
  publisher={SIAM}
}

@incollection{hansen2006,
   author    = {Hansen, N.},
   title     = {The {CMA} evolution strategy: a comparing review},
   booktitle = {Towards a new evolutionary computation.
                Advances on estimation of distribution algorithms},
   publisher = {Springer},
   year      = {2006},
   pages     = {75--102}
}

@article{ardia2011,
  title={Differential Evolution with DEoptim.},
  author={Ardia, David and Boudt, Kris and Carl, Peter and Mullen, Katharine M and Peterson, Brian G},
  journal={R Journal},
  volume={3},
  number={1},
  year={2011}
}

@article{mebane2011,
  title={Genetic optimization using derivatives: the rgenoud package for R},
  author={Mebane Jr, Walter R and Sekhon, Jasjeet S},
  journal={Journal of Statistical Software},
  volume={42},
  number={11},
  pages={1--26},
  year={2011}
}

@article{xiang2013,
  title={Generalized Simulated Annealing for Global Optimization: The GenSA Package.},
  author={Xiang, Yang and Gubian, Sylvain and Suomela, Brian and Hoeng, Julia},
  journal={R Journal},
  volume={5},
  number={1},
  year={2013}
}

@incollection{qin2010,
  title={A new PSO model mimicking bio-parasitic behavior},
  author={Qin, Quande and Li, Rongjun and Niu, Ben and Li, Li},
  booktitle={Advances in Swarm Intelligence},
  pages={68--77},
  year={2010},
  publisher={Springer}
}

@article{kotthoff_algorithm_2014,
	title = {Algorithm Selection for Combinatorial Search Problems: A Survey},
	volume = {35},
	number = {3},
	journal = {{AI} Magazine},
	author = {Kotthoff, Lars},
	year = {2014},
	pages = {48--60}
}

@misc{bischl_mlr,
  title = {{mlr: Machine Learning in R}},
  author = {Bernd Bischl and Michel Lang and Jakob Richter and Jakob Bossek and Leonard Judt and Tobias Kuehn and Erich Studerus and Lars Kotthoff},
  year = {2015},
  note = {{R package version 2.3. \url{https://github.com/berndbischl/mlr}}},
}

@misc{MAXSATevaluations,
  	author 	= {J.~Argelich and C.M.~Li and F.~Many{\`a} and J.~Planes},
  	year 		= {2012},
  	title 		= {{Seventh MaxSAT Evaluation}},
  	note 		= {\url{http://www.maxsat.udl.cat/12/}}
}

@article{mphaseSAT,
  author    = {Jingchao Chen},
  title     = {Phase Selection Heuristics for Satisfiability Solvers},
  journal   = {CoRR},
  volume    = {abs/1106.1372},
  year      = {2011},
  ee        = {http://arxiv.org/abs/1106.1372},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}

@inproceedings{CCSAT,
  author    = {Shaowei Cai and Kaile Su},
  title     = {Configuration Checking with Aspiration in Local Search for {SAT}},
  booktitle = {Proceedings of the {Twenty-Sixth} AAAI Conference on Artificial Intelligence},
  pages     = {434--440},
  year      = {2012},
  ee        = {http://www.aaai.org/ocs/index.php/AAAI/AAAI12/paper/view/4966},
}

@inproceedings{ISAC++,
  author    = {Carlos Ans\'{o}tegui and Yuri Malitsky and Meinolf Sellmann},
  title     = {{MaxSAT by Improved Instance-Specific Algorithm Configuration}},
  booktitle = {Proceedings of the {Twenty-Eighth} National Conference on Artificial Intelligence (AAAI'14)},
  year      = {2014},
  pages 	= {2594-260}
}

@techreport{DASH,
	address = {{arXiv}},
     	title = {DASH: Dynamic Approach for Switching Heuristics},
     	author = {Giovanni Di Liberto and Serdar Kadioglu and Kevin Leo and Yuri Malitsky},
     	number = {{arXiv:1307.4689}},
     	month = {July},
       	year = {2013},
	url = {http://arxiv.org/abs/1307.4689},
}

@inproceedings{MUSportfolio,
  author    = {Yuri Malitsky and Barry O'Sullivan and Alessandro Previti and Joao Marques-Silva},
  title     = {A Portfolio Approach to Enumerating Minimal Correction Subsets for Satisfiability Problems},
  booktitle = {Proceedings of the Eleventh International Conference on Integration of Artificical Intelligence and Operations Research Techniques in Constraint Programming},
  year      = {2014},
}

@inproceedings{p3S,
  author    = {Yuri Malitsky and Ashish Sabharwal and Horst Samulowitz and Meinolf Sellmann},
  title     = {Parallel {SAT} Solver Selection and Scheduling},
  booktitle = {CP},
  year      = {2012},
}


@Article{Mersmann2013,
  author="Mersmann, O.
    and Bischl, B.
    and Trautmann, H.
    and Wagner, M.
    and Bossek, J.
    and Neumann, F.",
  title="A novel feature-based approach to characterize algorithm performance for the traveling salesperson problem",
  journal="Annals of Mathematics and Artificial Intelligence",
  year="2013",
  publisher="Springer",
  month=mar,
  pages="1--32",
}

@Article{Bischl2015_1,
    title = {{BatchJobs} and {BatchExperiments}: Abstraction Mechanisms for Using {R} in Batch Environments},
    author = {Bernd Bischl and Michel Lang and Olaf Mersmann and J{\"o}rg Rahnenf{\"u}hrer and Claus Weihs},
    journal = {Journal of Statistical Software},
    year = {2015},
    volume = {64},
    number = {11},
    pages = {1--25}
}

@InProceedings{Bischl2012_2,
  author="Bischl, B. and Mersmann, O. and Trautmann, H. and Preuss, M.",
  title="Algorithm Selection Based on Exploratory Landscape Analysis and Cost-Sensitive Learning",
  booktitle = {Proceedings of the Fourteenth Annual Conference on Genetic and Evolutionary Computation},
  pages = {313-320},
  year="2012"
}


@article{Bischl2012_3,
  author = {Bischl, B. and Mersmann, O. and Trautmann, H. and Weihs, C. },
  title = {Resampling Methods for Meta-Model Validation with Recommendations for Evolutionary Computation},
  journal = {Evolutionary Computation},
  year = {2012},
  volume = {20},
  number = {2},
  pages = {249-275},
}


@InProceedings{Kerschke2014,
  author = {Kerschke, P. and Preuss, M. and Hern{\'a}ndez, C. and Sch{\"u}tze, O. and Sun, J.-Q. and Grimme, C. and Rudolph, G. and Bischl, B. and Trautmann, H.},
  title = {Cell mapping techniques for exploratory landscape analysis},
  booktitle = {Proceedings of the {EVOLVE 2014}: {A} Bridge between Probability, Set Oriented Numerics, and Evolutionary Computation},
  pages = {115-131},
  year = {2014},
  publisher = {Springer}
}


@InProceedings{Mersmann2011,
  author="Mersmann, O.
    and Bischl, B.
    and Trautmann, H.
    and Preuss, M.
    and Weihs, C.
    and Rudolph, G.",
  title="Exploratory Landscape Analysis",
  booktitle="Proceedings of the Thirteenth Annual Conference on Genetic and Evolutionary Computation",
  year="2011",
  publisher="ACM",
  address="New York, NY, USA",
  pages="829--836",
}

scheduling [40] and timetabling [9] problems, FPGA routing [41], software package installation [7], design debugging [36],
bioinformatics [39], probabilistic reasoning [34], etc

@InProceedings{VaHa01,
  	author 	= {M. Vasquez and J.-K. Hao},
  	title 		= {A "logic-constrained" knapsack formulation and a tabu algorithm for the daily photograph
				scheduling of an earth observation satellite},
  	booktitle 	= {Computational Optimization and Applications},
  	year 		= {2001},
	pages	= {137--157}
}

@InProceedings{XuRuSa03,
  	author 	= {H. Xu and R.A. Rutenbar and K.A. Sakallah},
    title 		= {Sub-{SAT}: A formulation for relaxed boolean satisfiability with applications in routing},
  	booktitle 	= {IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems},
  	year 		= {2003},
	pages	= {814--820}
}

@InProceedings{ArBeLyMaRa10,
  	author 	= {J. Argelich and D. Le Berre and I. Lynce and J.P. Marques-Silva and P. Rapicault},
  	title 		= {Solving Linux upgradeability problems using boolean optimization},
  	booktitle 	= {Proceedings of the International Workshop on Logics for Component Configuration},
  	year 		= {2010},
	pages	= {11--22}
}

@InProceedings{SaMaVeLiSa07,
  	author 	= {S. Safarpour and H. Mangassarian and A.G. Veneris and M.H. Li?ton and K.A. Sakallah},
  	title 		= {Improved design debugging using maximum satisfiability},
  	booktitle 	= {FMCAD, IEEE Computer Society},
  	year 		= {2007},
	pages	= {13--19}
}

@InProceedings{StBaSo05,
  	author 	= {D.M. Strickland and E. Barnes and J.S. Sokol},
  	title 		= {Optimal protein structure alignment using maximum cliques},
  	booktitle 	= {Operations Research},
  	year 		= {2005},
	pages	= {389--402}
}

@InProceedings{Pa02,
  	author 	= {J.D. Park},
    title 		= {Using weighted Max-{SAT} engines to solve MPE},
  	booktitle 	= {AAAI},
  	year 		= {2002},
	pages	= {682--687}
}

@article{ctree,
    author = {Torsten Hothorn and Kurt Hornik and Achim Zeileis},
    title = {Unbiased Recursive Partitioning: A Conditional Inference
    Framework},
    journal = {Journal of Computational and Graphical Statistics},
    volume = {15},
    number = {3},
    pages = {651--674},
    year = {2006}
}

@article{ksvm,
    title = {kernlab -- An {S4} Package for Kernel Methods in {R}},
    author = {Alexandros Karatzoglou and Alex Smola and Kurt Hornik and Achim Zeileis},
    journal = {Journal of Statistical Software},
    year = {2004},
    volume = {11},
    number = {9},
    pages = {1--20},
}

@Manual{nb,
    title = {e1071: Misc Functions of the Department of Statistics (e1071), TU Wien},
    author = {David Meyer and Evgenia Dimitriadou and Kurt Hornik and Andreas Weingessel and Friedrich Leisch},
    year = {2014},
    note = {R package version 1.6-3},
    url = {http://CRAN.R-project.org/package=e1071},
}

@Article{rf,
    title = {Classification and Regression by {randomForest}},
    author = {Andy Liaw and Matthew Wiener},
    journal = {R News},
    year = {2002},
    volume = {2},
    number = {3},
    pages = {18-22},
}

@Manual{rpart,
   title = {rpart: Recursive Partitioning and Regression Trees},
   author = {Terry Therneau and Beth Atkinson and Brian Ripley},
   year = {2014},
   note = {R package version 4.1-8},
   url = {http://CRAN.R-project.org/package=rpart},
}

@Manual{earth,
    title = {earth: Multivariate Adaptive Regression Spline Models},
    author = {Stephen Milborrow},
    year = {2014},
    note = {R package version 3.2-7},
    url = {http://CRAN.R-project.org/package=earth},
}

@Manual{R,
    title = {R: A Language and Environment for Statistical Computing},
    author = {{R Core Team}},
    organization = {R Foundation for Statistical Computing},
    address = {Vienna, Austria},
    year = {2014},
    url = {http://www.R-project.org/},
}

@inproceedings{LAG2,
	author = "M. Lagoudakis and M. Littman",
	title = "Learning to select branching rules in the {DPLL} procedure for satisfiability",
	booktitle = {Proceedings of the International Conference on Satisfiability},
	year = "2001",
	pages={344--359}
}

@inproceedings{LAG1,
	author = "M. Lagoudakis and M. Littman",
	title = "Algorithm Selection using Reinforcement Learning",
	booktitle = {Proceedings of the Seventeenth International Conference on Machine Learning},
	pages={511--518},
	year = "2000",
}

@article{daniel_simple_csp_to_sat,
  title={{CSP2SAT4J: A simple {CSP} to {SAT} translator}},
  author={Le Berre, D. and Lynce, I.},
  journal={Proceedings of the Second International {CSP} Solver Competition},
  pages={43--54},
  year={2008}
}

@article{tamura_sugar,
title={System description of a {SAT}-based {CSP} solver Sugar},
  author={Tamura, N. and Tanjo, T. and Banbara, M.},
  journal={Proceedings of the Third International {CSP} Solver Competition},
  pages={71--75},
  year={2008}
}

@incollection{tanjo_azucar,
  title={Azucar: a {SAT}-based {CSP} solver using compact order encoding},
  author={Tanjo, T. and Tamura, N. and Banbara, M.},
  booktitle={Theory and Applications of Satisfiability Testing -- SAT 2012},
  pages={456--462},
  year={2012},
  publisher={Springer}
}

@inproceedings{gent_minion_2006,
	title = {{MINION}: A Fast, Scalable, Constraint Solver},
	booktitle = {Proceedings of the European Conference on Artificial Intelligence},
	author = {Gent, Ian P. and Jefferson, Christopher A. and Miguel, Ian},
	year = {2006},
	pages = {98--102}
}

@inproceedings{gent_lazy_2010,
	title = {Lazy Explanations for Constraint Propagators},
	booktitle =	 "Proceedings of the Twelfth International Symposium on Practical Aspects of Declarative Languages",
	author = {Gent, Ian P. and Miguel, Ian and Moore, Neil C. A.},
	pages = {217--233},
	year = {2010}
}

@Manual{mda,
    title = {mda: Mixture and flexible discriminant analysis},
    author = {S original by Trevor Hastie \& Robert Tibshirani. Original R port by Friedrich Leisch and Kurt Hornik and Brian D. Ripley.},
    year = {2013},
    note = {R package version 0.4-4},
    url = {http://CRAN.R-project.org/package=mda},
  }

@INPROCEEDINGS{lingeling,
  author = {A. Biere},
  title = {Yet another Local Search Solver and {Lingeling} and Friends Entering
	the {SAT} Competition 2014},
  year = {2014},
  pages = {39-40},
  booktitle = {Proceedings of {SAT} Competition 2014: Solver and Benchmark Descriptions},
}

@ARTICLE{Kohavi97,
    author = {Ron Kohavi and George H. John},
    title = {Wrappers for Feature Subset Selection},
    journal = {Artificial Intelligence},
    year = {1997},
    volume = {97},
    number = {1},
    pages = {273--324}
}

